New Github Issues

[safety0ff via Digitalmars-d]

On Tuesday, 29 July 2014 at 16:30:27 UTC, Daniel Murphy wrote:
>
> 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.

If you look at the link I posted: 
https://help.github.com/articles/searching-issues#is

I believe the merged vs. unmerged functionality is supposed to be 
built in.