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.
issue