arthurnn / meta

GitHub meta
6 stars 1 forks source link

Disallow merge of WIP pull requests #3

Open jrafanie opened 8 years ago

jrafanie commented 8 years ago

It would be nice to be able to prevent accidental merges of work in progress pull requests so that extensions like this are not needed: https://github.com/sanemat/do-not-merge-wip-for-github