Latest changes from Savannah SVN are not yet mirrored into this GitHub repo

[jasaldivara]

trafficstars

I don't know if the mirroring from Savannah is something that happens automatically, or manually.

I see lates changes on http://svn.savannah.gnu.org/viewvc/gap/ are not yet on https://github.com/gnustep/gap

As an example, the latest changes from Savannah are from 9 days ago (today is December 6), while the latest commit on Github are from August 27.

Is this expected behaviour? Or is something broken in the mirroring?

[gcasa]

This was not intended as a mirror, but I can certainly make it so that repo is mirrored from SVN. What I would, honestly, like to see happen is for gap to make the transition over to git.