ci: remove repository mirroring

It's now done by Gitlab itself using kwant-bot's account on
Github.
1 job for v0.5.0 in 2 minutes and 18 seconds
latest