GitHub PR Lifecycle Filter por tstejl
A faster, more elegant way to find the pull requests that matter.
No hay usuariosNo hay usuarios
Metadata de la extensión
Capturas de pantalla
Sobre esta extensión
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.
Calificado 0 por 0 revisores
Permisos y datos
Permisos requeridos:
- Acceder a tus datos para github.com
Recolección de datos:
- El desarrollador dice que la extensión no requiere recolección de datos.
Más información
- Enlaces del complemento
- Versión
- 0.7.1
- Tamaño
- 2,2 MB
- Última actualización
- hace 19 días (30 de jul. de 2026)
- Categorías relacionadas
- Licencia
- Licencia MIT
- Historial de versiones
- Agregar a la colección