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