[sr #110065] Enable mirroring for poke.git in github

[Bruno Haible]

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/