Figure out a better way to handle gitlab->github mirroring
Mirroring from gitlab->github has broken multiple times and is a bit cumbersome to setup. E.g. right now mirroring of arch-boxes is broken: https://github.com/archlinux/arch-boxes. It is also impossible to automate due to the lack of a API (upstream issue: https://gitlab.com/gitlab-org/gitlab/-/issues/199709).
We should investigate if it can be handled in a better and more reliable way, perhaps by running git push --mirror
regularly on our gitlab server?