GitHub Saved Filters
Item logo image for GitHub Saved Filters

GitHub Saved Filters

ExtensionDeveloper Tools8 users
Item media 4 screenshot
Item media 1 screenshot
Item media 2 screenshot
Item media 3 screenshot
Item media 4 screenshot
Item media 1 screenshot
Item media 1 screenshot
Item media 2 screenshot
Item media 3 screenshot
Item media 4 screenshot

Overview

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. Any issues? Feel free to create an issue or a pull request here: https://github.com/dword-design/github-saved-filters

0 out of 5No ratings

Google doesn't verify reviews. Learn more about results and reviews.

Details

  • Version
    1.1.0
  • Updated
    October 31, 2020
  • Offered by
    Dword Design
  • Size
    72.71KiB
  • Languages
    English (United States)
  • Developer
    Sebastian Landwehr
    Breite Str. 20 Bonn 53111 DE
    Email
    info@sebastianlandwehr.com
  • Trader
    This developer has identified itself as a trader per the definition from the European Union.

Privacy

The developer has not provided any information about the collection or usage of your data.
Google apps