New Github Issues
Daniel Murphy via Digitalmars-d
digitalmars-d at puremagic.com
Tue Jul 29 09:30:28 PDT 2014
"safety0ff" wrote in message news:qwdmzdjdwgqgqfrfczxd at 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.
More information about the Digitalmars-d
mailing list