No Merge

No Merge

This is a simple extension which disables the green merge button for pull requests on GitHub.