Add filtering of Pull Requests by pull request number and author

Currently, the Pull Request tab (Current Branch > Pull Requests) has fuzzy search functionality that allows you to search a string and filters the results by finding matches to the PR titles. This is great if you know the title you are searching for or approximate keywords but does not allow you to search by pull request number or by author handle. For example, if you wanted to find PR #4227, Bump toolbar contrast, you could find it by searching “contrast” or “btcrst”, etc. but you can’t find it by searching “4227” or “niik”…yet 👇

✏️ 🗒 Task: Index the pull request numbers and authors and allow filtering of results by the PR number and author.

Suggested Functionality (let’s pretend the user is Paula) :

• match all number occurrences: if Paula types 2 in the filter (without # sign), they will see all the issues with a 2 in it, like: #21, #2, #294, #321, #52, and a PR with the title when 2 becomes 1 (new)
• filter by # sign: if Paula types #23 (with # sign), they will see all issues beginning with 23, like #23 and #232 but not #123 (new)
• match all author occurrences: if Paula types n in the filter, they will see all issues with an n in it like a PR with the title Add context menu to... and all authors with an n in it like nerdneha and niik (new)
• highlight matching characters: while Paula types, text matching the filter will continue to be highlighted (existing functionality)
• preserve existing fuzzy searching: when Paula types a string with mixed characters, they will see results that match existing fuzzy search results, like 3I will show Drop back to v3 API to retrieve... Not sure of the expectation when we type “32” though… (existing functionality)

[damaneice]

I will take a look at this.

[shiftkey]

Thanks for the reminder @say25!