do-not-merge-wip-for-github

do-not-merge-wip-for-github copied to clipboard

Add support for labels other than the WIP prefix

2

Would be interesting to introduce the same behavior that the WIP prefix provides with labels as well, so that labelling a PR with a `WIP` label will have the same...

mauroservienti

sanemat

https://developer.mozilla.org/en-US/Add-ons/WebExtensions/API/storage

sanemat

sanemat

https://github.com/search?q=wip&type=Issues Looking over a few pages, you'll see "WIP" isn't always wrapped with square brackets: there are bunch of "WIP:"s or even PRs just titled "WIP". Same can say to...

myakura

Github App

2

Have you considered making this into a Github App? I'm looking for something like this (don't merge if there is a WIP label on the PR), but it's not reasonable...

jacob-israel-turner

I noticed that this is taking ~80mb of ram. I think I've seen it take over 100mb. It is the extension that takes up the most ram on my machine....

kbrock

After add 'wip' to title, then I can hit merge button

4

I reload page, then I can't hit merge button. 

sanemat

Does not work with Github enterprise

7

sahilsingla90

sanemat