remove obsolete mirroring job from .gitlab-ci.yml

This is just to incorporate the deletion of the mirroring job suggested in legacy/trac#32193 (moved).