removing dead branches?

[PierreS-alpha]

Hi all,

I was wondering whether a clean-up of obviously dead branches might be useful.
(mainly for reading comfort while changing branches )

Here is a list of the branches which ould be easily removed:

1. branch AAA: This branch is 1410 commits behind master. no commit ahead of.
2. branch update_Edgar: This branch is 1804 commits behind master. no commit ahead of.
3. branch gnss_make_rinex This branch is 1259 commits behind master. no commit ahead of.
4. branch This branch is 1 commit ahead of, 1749 commits behind master. The single commit is a correction of the GipsyX server address, and the associated pull request is marked as closed.