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.
