GitHub PR Lifecycle Filter von tstejl
A faster, more elegant way to find the pull requests that matter.
Metadaten zur Erweiterung
Screenshots
Über diese Erweiterung
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.
Bewertet mit 0 von 0 Bewertern
Berechtigungen und Daten
Benötigte Berechtigungen:
- Auf Ihre Daten für github.com zugreifen
Datenerfassung:
- Der Entwickler sagt, dass diese Erweiterung keine Datenerhebung benötigt.
Weitere Informationen
- Add-on-Links
- Version
- 0.7.0
- Größe
- 2,2 MB
- Zuletzt aktualisiert
- vor einem Tag (23. Juli 2026)
- Verwandte Kategorien
- Lizenz
- MIT-Lizenz
- Versionsgeschichte
- Zur Sammlung hinzufügen