As requested in issue https://gitlab.com/gitlab-org/gitlab-ce/issues/57062
describe how to set up a push mirror repository at GitLab.
Signed-off-by: Juergen Kosel <juergen.kosel@gmx.de>