Documentation on mirroring GitLab repositories