GitHub Saved Filters - Chrome Web Store
Logobild des Artikels für GitHub Saved Filters

GitHub Saved Filters

ErweiterungEntwicklertools7 Nutzer
Elementmedien – 4-Screenshot
Elementmedien – 1-Screenshot
Elementmedien – 2-Screenshot
Elementmedien – 3-Screenshot
Elementmedien – 4-Screenshot
Elementmedien – 1-Screenshot
Elementmedien – 1-Screenshot
Elementmedien – 2-Screenshot
Elementmedien – 3-Screenshot
Elementmedien – 4-Screenshot

Übersicht

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 von 5Keine Bewertungen

Rezensionen werden von Google nicht überprüft. Weitere Informationen zu Suchergebnissen und Rezensionen.

Details

  • Version
    1.1.0
  • Aktualisiert
    31. Oktober 2020
  • Angeboten von
    Dword Design
  • Größe
    72.71KiB
  • Sprachen
    English (United States)
  • Entwickler
    Sebastian Landwehr
    Breite Str. 20 Bonn 53111 DE
    E-Mail
    info@sebastianlandwehr.com
  • Händler
    Dieser Entwickler hat sich als Händler gemäß der Definition der Europäischen Union deklariert.

Datenschutz

Der Entwickler hat keine Informationen hinsichtlich der Erhebung oder Nutzung deiner Daten offengelegt.
Google-Apps