"safety0ff" wrote in message news:qwdmzdjdwgqgqfrfc...@forum.dlang.org...
Ok, this is workable as long as we remove "needs work" labels prior to
merging pulls.
PRs which are candidates for rebooting might be closed due to inactivity.
This isn't too important right now, but I thought I'd toss the idea
around.
Yeah. It would be easy enough to automatically add a 'merged' or 'unmerged'
tag to all closed pulls in necessary. I can't see a way to search for pulls
_without_ a certain label unfortunately.