GitHub PR Lifecycle Filter door tstejl
A faster, more elegant way to find the pull requests that matter.
Metagegevens van extensie
Schermafbeeldingen
Over deze extensie
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.
Met 0 gewaardeerd door 0 beoordelaars
Toestemmingen en gegevens
Vereiste machtigingen:
- Uw gegevens voor github.com benaderen
Gegevensverzameling:
- De ontwikkelaar zegt dat deze extensie geen gegevensverzameling vereist.
Meer informatie
- Add-on-koppelingen
- Versie
- 0.6.0
- Grootte
- 2,19 MB
- Laatst bijgewerkt
- 5 dagen geleden (17 jul. 2026)
- Verwante categorieën
- Licentie
- MIT-licentie
- Versiegeschiedenis
- Toevoegen aan collectie