GitHub PR Quick Filters de Tyler Day

0 stele din 5

Istoricul versiunilor pentru GitHub PR Quick Filters - 2 versiuni

Atenție la versiunile vechi! Aceste versiuni sunt afișate pentru testare și ca referință.Trebuie să folosești întotdeauna cea mai recentă versiune a unui supliment.
Ultima versiune
Versiunea 0.1.2
Lansată în 13 mai 2026 - 20,82 KB
Funcționează cu firefox 115.0 și versiunile ulterioare
Fixes the Quick filters button sometimes not appearing on the Pull requests page when navigating within GitHub. A hard refresh is no longer needed.
Codul sursă lansat sub Licență MIT
Descarcă Firefox și obține extensia
Descarcă fișierul
Versiuni mai vechi
Versiunea 0.1.1
Lansată în 5 mai 2026 - 20,83 KB
Funcționează cu firefox 115.0 și versiunile ulterioare
Codul sursă lansat sub Licență MIT
Descarcă fișierul

Ultima versiune