Activate git repository mirroring (push)
https://docs.gitlab.com/ce/user/project/repository/repository_mirroring.html
I know this might be complicated and not a priority, but we might be needing it soon-ish.
Provide a way to have a "push" (with force) git mirroring of the internal git repo handled by heptapod.