Hi, Joseph Maloney wrote:
This is good to know that SVN has more up to date sources for GAP. Thank you for mentioning Riccardo.
GAP repository has always been on savannah and development continued there. Releases and updates - by me at least - have been done over there.
GitHub was thought to be a mirror, read-only, ste up by Gregory to give easier access. However synchronization broke a long time ago, it was done on one of Gregory's machines. I always asked him to restore it or remove it, but it remained in this state for years.
The About says: "MIRRORED from Savannah. Pull requests CANNOT be accepted. Please reach out to us over mailing lists."
Ideally the repo should be "read-only" set by git-hub to enforce it. I don't know if then it still could be synchronized, I don't know. Two-Way synchronization is - as far as I know - quite unreliable or impossible.
As it is know, it just generates confusion. Riccardo
