Move this repo to https://gitlab.gnome.org/Teams/Releng?
Now that https://gitlab.gnome.org/Teams/Releng exists, should we move this repo from GNOME to that group?
Advantages: keep all releng stuff in one place
Disadvantages: will be unnecessarily harder for GNOME developers to commit to it (although it's unusual for non-releng members to commit to this repo)