Allows to save issue and pull request filters on GitHub and access them via the main menu.
Saved filters are a feature that GitHub is currently lacking. This extension allows to save filters from issue and pull request search pages. Simply hit the save button and give the filter a name.
The saved filters are shown in the main menu so you can access them from anywhere.
To delete a saved filter, click on the filter to navigate to the search page. From there, hit the delete button.
The filters are synced across all devices.