Protected branch merge restrictions has no effect
In mutter, currently, in the Settings -> Repository -> Protected branches panel, the master
branch is configured to only allow "Maintainers" to merge. This seems to have no effect, as "Developers" are still able to see the merge request button, and also merge merge requests.