GitHub PR Lifecycle Filter di tstejl
A faster, more elegant way to find the pull requests that matter.
Metadati estensione
Screenshot
Informazioni sull’estensione
Quickly filter GitHub repository pull requests by lifecycle state, reduces friction in finding the right PR.
The extension integrates directly into GitHub’s pull-request list, respects GitHub themes, preserves existing search and review filters. Everything runs locally in your browser - no analytics, backend, or data collection.
Customizable options, preserved per repository.
The extension integrates directly into GitHub’s pull-request list, respects GitHub themes, preserves existing search and review filters. Everything runs locally in your browser - no analytics, backend, or data collection.
Customizable options, preserved per repository.
Voto 0 da 0 revisori
Permessi e dati
Permessi obbligatori:
- Accedere ai dati utente di github.com
Raccolta dati:
- Lo sviluppatore dichiara che questa estensione non richiede la raccolta di dati.
Ulteriori informazioni
- Link componente aggiuntivo
- Versione
- 0.7.0
- Dimensione
- 2,2 MB
- Ultimo aggiornamento
- un giorno fa (23 lug 2026)
- Categorie correlate
- Licenza
- Licenza MIT
- Cronologia versioni
- Aggiungi alla raccolta