GitHub PR Lifecycle Filter Autor: tstejl
A faster, more elegant way to find the pull requests that matter.
Nema korisnikaNema korisnika
Metapodaci proširenja
Snimke ekrana
Informacije o ovom proširenju
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.
Ocjena 0 od 0 recenzenta
Dozvole i podaci
Potrebne dozvole:
- Pristup tvojim podacima za github.com
Prikupljanje podataka:
- Programer kaže da ovo proširenje ne zahtijeva prikupljanje podataka.
Daljnje informacije
- Poveznice dodatka
- Verzija
- 0.7.1
- Veličina
- 2,2 MB
- Zadnje aktualiziranje
- prije 19 dana (30. srp. 2026)
- Povezane kategorije
- Licenca
- MIT licenca
- Povijest verzija
- Dodaj u zbirku