Suggestion for new script: Pull Requests Do Not Merge

jerone / UserScripts

🐵 My UserScripts

https://github.com/jerone/UserScripts#readme

GNU General Public License v3.0

342 stars 39 forks source link

Suggestion for new script: Pull Requests Do Not Merge #94

Closed rugk closed 8 years ago

rugk commented 8 years ago

I tried to find a simple userscript which disables the merge button in PRs if they are labelled with "Do not merge"/"Don't merge"/"[DNM]" or something similar. I think somewhere I already saw a Firefox addon like this which does this, but I think with a userscript this is much nicer anyway. :smiley:

rugk commented 8 years ago

Another example: https://github.com/sanemat/do-not-merge-wip-for-github

jerone commented 8 years ago

Personally I don't see the use of this feature. If you don't want to merge WIP PR's then don't press the merge button. If it were possible as PR author to disable the merge button, that would make more sense, but that requires an site update. You probably have more luck asking for an Firefox/Userscript port on above linked Chrome extension. As Chrome extensions mostly exists of JavaScript, you could probably try it yourself.