ci: remove repository mirroring

It's now done by Gitlab itself using kwant-bot's account on
Github.