News for hackers. Stuff that matters.
Re:The New GitHub Issues by mdo on Monday July 28, 2014 @01:22PM (#8098099)
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