GitHub PR Lifecycle Filter par tstejl
A faster, more elegant way to find the pull requests that matter.
Métadonnées de l’extension
Captures d’écran
À propos de cette extension
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.
Noté 0 par 1 personne
Autorisations et données
Autorisations nécessaires :
- Accéder à vos données pour github.com
Collecte de données :
- Le développeur indique que cette extension n’a pas besoin de collecter de données.
Plus d’informations
- Version
- 0.7.1
- Taille
- 2,2 Mo
- Dernière mise à jour
- il y a 5 jours (30 juil. 2026)
- Catégories associées
- Licence
- Licence MIT
- Historique des versions
- Ajouter à la collection