Describe how to set up a push mirror repository at GitLab

Closes #57062

See merge request gitlab-org/gitlab-ce!24834