Disable Merge pull request Button when PR is WIP on GitHub.
When pull request's title contains "WIP", it disables "Merge pull request" button on github.
Statistics
Installs
7
history
Category
Rating
0.0 (0 votes)
Last update / version
2014-05-16 / 0.3
Listing languages
en