What is GitHub Saved Filters?
GitHub Saved Filters is a developer tools chrome extension. it's a free extension , it has 10 active users since released its first version, it earns an average rating of 0.00 from 0 rated user, last update is 1483 days ago.
What’s new in version 1.1.0?
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.
Any issues? Feel free to create an issue or a pull request here:
https://github.com/dword-design/github-saved-filters
How to install GitHub Saved Filters?
You could download the latest version crx file or older version files and install it.
Preview of GitHub Saved Filters
Technical Features:
- Latest Version: 1.1.0
- Requirements: Windows Chrome, Mac Chrome
- License: Free
- Latest update: Saturday, October 31st, 2020
- Author: Dword Design
GitHub Saved Filters Available languages:
English (United States).
FAQ
-
How could i get help if there is something wrong with github saved filters chrome extension?
You could find more help information from github saved filters support page.
-
How could i contact the developer of github saved filters chrome extension?
You could send emails to publisher, or check publisher's website.
-
What are the required permissions for extensions?
- storage
More about manifest_file of github saved filters.
-
How could i report abuse of github saved filters chrome extension?
You could click to report abuse of github saved filters.