GitHub PR Quick Filters Autor: Tyler Day

0 gwiazdek/5

Historia wersji dodatku GitHub PR Quick Filters — 2 wersje

Zachowaj ostrożność podczas używania starych wersji! Są one wyświetlane w celach testowych i historycznych.Zawsze powinno używać się najnowszej wersji dodatku.
Najnowsza wersja
Wersja 0.1.2
Data wydania: 13 maj 2026 — 20,82 KB
Działa z: firefox 115.0 i nowsze
Fixes the Quick filters button sometimes not appearing on the Pull requests page when navigating within GitHub. A hard refresh is no longer needed.
Licencja kodu źródłowego: Licencja MIT
Pobierz Firefoksa i to rozszerzenie
Pobierz plik
Poprzednie wersje
Wersja 0.1.1
Data wydania: 5 maj 2026 — 20,83 KB
Działa z: firefox 115.0 i nowsze
Licencja kodu źródłowego: Licencja MIT
Pobierz plik

Najnowsza wersja