Set up repository mirroring
Repo mirroring is now part of the CE of GitLab:
https://docs.gitlab.com/ee/workflow/repository_mirroring.html#pushing-to-a-remote-repository
So we can automatically mirror this repo with github.com/greenhost/stapled
Repo mirroring is now part of the CE of GitLab:
https://docs.gitlab.com/ee/workflow/repository_mirroring.html#pushing-to-a-remote-repository
So we can automatically mirror this repo with github.com/greenhost/stapled