Marge bot preparations
This is the corresponding gnome-shell version of mutter!1549 (merged).
To minimize the risk for accidental merge-by-button, @marge-bot is made a maintainer, but this relies on the master
branch being restricted to only allow merging from maintainers. This setting however doesn't seem to have an affect at the moment.