Follow-up Comment #10, sr #110065 (project administration):
Yesterday I learned that the other way to create a gitlab mirror of a Savannah
repository
https://docs.gitlab.com/ee/user/project/repository/repository_mirroring.html#pulling-from-a-remote-repository-starter
MAY still be available for Free Software projects after 22 March 2020.
https://gitlab.com/gitlab-org/gitlab/issues/10361#note_251410289
I would propose to wait until this date and then choose this solution, which
does not require post-receive hooks on savannah, if it is really available.
_______________________________________________________
Reply to this item at:
<https://savannah.nongnu.org/support/?110065>
_______________________________________________
Message sent via Savannah
https://savannah.nongnu.org/
