On Tuesday, 29 July 2014 at 14:12:34 UTC, Daniel Murphy wrote:
Tagged as 'needs work' + open + sort by recently updated should do it.
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.
