Disable green merge button for a specific repository

github.com

11 pointsinfodroid1 comment

We have this policy too. We went so far to build a browser extension that HIDEs the big green button.