Allow custom pull request filters

[szszoke]

On GitHub, we have the ability to filter pull requests, and reuse the same filter by storing the URL in a bookmark.

Allow adding our own categories here 👇 with custom filters using the pre-existing GitHub search qualifiers.

More info on the search qualifiers

[RMacfarlane]

I love this idea! I made a prototype of how this could work:

On GitHub.com, it's nice to be able to use the dropdowns to help construct the query. I'm not sure what we could do here to help with query writing, validation seems challenging since my understanding of the query language is that anything not interpreted as a search qualifier would just be used as a keyword.

Other things we could have:

• "Edit", which allows you to pick a category, first modify the title, then modify the query
• Be able to view the query in the tree?
• Have an inline action on a category to either view or modify the query