Enable marge bot for this repo?
@lkundrak would it be o.k. to enable marge-bot here for merging MRs? The upside is that marge-bot autmatically creates references to the merge requests in commit messages like:
Part-of: <https://gitlab.gnome.org/.../-/merge_requests/1234>
Marge-bot is available in GNOMEs infra already, lots of other projects (like mutter) use it already. Merging directly would be totally unaffected and only MRs assigned to marge-bot for merging are handled like that.