rely on gitlab's built-in mirroring instead of CI

parent 3ffa951e
Pipeline #25910 passed with stages
in 6 minutes and 18 seconds