
GitHub Saved Filters Autor: Dword Design
Allows to save issue and pull request filters on GitHub and access them via the main menu.
Potrzebujesz Firefoksa, aby używać tego rozszerzenia
Metadane rozszerzenia
Zrzuty ekranu




O tym rozszerzeniu
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
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
Oceń swoje wrażenia
UprawnieniaWięcej informacji
Ten dodatek musi:
- Mieć dostęp do danych użytkownika na stronie „github.com”
Więcej informacji
- Strony dodatku
- Wersja
- 1.0.4
- Rozmiar
- 79,12 KB
- Ostatnia aktualizacja
- 5 lat temu (30 paź 2020)
- Powiązane kategorie
- Licencja
- Mozilla Public License 2.0
- Historia wersji
Dodaj do kolekcji
Więcej rozszerzeń od: Dword Design
- Nie ma jeszcze ocen
- Nie ma jeszcze ocen
- Nie ma jeszcze ocen
- Nie ma jeszcze ocen
- Nie ma jeszcze ocen
- Nie ma jeszcze ocen