remove obsolete mirroring job from .gitlab-ci.yml

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