Save your search filters for GitHub issues/PRs!
Create, save, edit, pin, search and delete filters that you commonly use on the Github Issues and Pull Requests pages. The ability to saved custom filters is not currently available using GitHub's current UI. This extension enables this feature; to create, use and manage your custom filters from both the issues and pull requests pages. You are able to scope filters to be shown globally (on each repo) or only have them show up on the repo you create them on. You are also able to search through your saved filters and to display or hide the queries whilst searching the filters menu. Pinning filters is also a feature that this extension allows you to do. So if you have several filters you use daily - you have a way to quickly access them, at the top of your list. All filters you create are synced with your Chrome account, so no need to login or provide an access token. Everything is right there where you need it to be, and updates across your devices automatically. If you choose to pin this extension to your bar, you will also benefit from having quick links to the repos you have created filters for. This is also where you will be able to enable beta features and a link to the changelog/options page. On the changelog/options page you are able to see a full changelog of all past updates, a searchable FAQ section and eventually.. enable premium features. This extension does not access any external API's, databases or servers. What you see is achieved by manipulating the DOM and triggering Github's own requests to apply your selected filter/query to render the correct results. Your data is your own; it is tied to your own personal Chrome account, thus why the only permission needed for this extension is "storage". I hope you find this extension helps you in your day to day life working with GitHub, as much as it does me. Feel free to share/review if you enjoy it!
- (2020-10-12) Thomas Lhuillier: Handy extension to store the PR filters I often use!