Filter Pull Requests by Status

When we shipped the new GitHub Issues, we made it easy to scope lists of Issues and Pull Requests with filters like author, date, mentions, and team mentions. With the…