I deleted my toy repo and did it over again; it seems to be working now. Latency seems to be in the 20-30 second range for incremental pushes, which is pretty good.
Is there a way to do this for existing repos? Or do we have to delete and re-create our production repo to do this?
You can add a webhook on GitHub and have it point to our Pull Mirroring API [1], followed by manually setting up the integration to send status updates back [2].
We're looking to make this process easier, and have explored ways we might implement this in https://gitlab.com/gitlab-org/gitlab-ee/issues/5220.
[1] https://docs.gitlab.com/ee/api/projects.html#start-the-pull-...
[2] https://docs.gitlab.com/ee/user/project/integrations/github....