Hey there! Try clicking on the labels within the issues list—they are linked up to quickly adjust your search without typing. Not quite the same, but hopefully it helps!
<3
Re:The New GitHub Issues
by transientbug on Monday July 28, 2014 @01:27PM
(#8098128)
Oooh, that definitely helps a fair bit. I think the label dropdown in the panel head is nice and what I'll end up using the most often.
Still have to find all the little changes hidden around this :D
Overall, looks nice though. Curious to hear what power uses think of it.