Mirror the repository every time the CI build is successful

5 jobs for devel/gitlab-ci-mirror in 2 minutes and 50 seconds (queued for 4 seconds)