Pullscope di guidodinello
Automatically apply custom filters to GitHub Pull Request pages with real-time sync across all tabs. Hide bot PRs, filter by assignee/label, and streamline your PR workflow.
1 utente1 utente
Metadati estensione
Permessi e dati
Permessi obbligatori:
- Accedere alle schede
- Accedere ai dati utente di github.com
Raccolta dati:
- Lo sviluppatore dichiara che questa estensione non richiede la raccolta di dati.
Ulteriori informazioni
- Link componente aggiuntivo
- Versione
- 0.1.0
- Dimensione
- 74,38 kB
- Ultimo aggiornamento
- 6 mesi fa (17 dic 2025)
- Categorie correlate
- Licenza
- Licenza MIT
- Cronologia versioni
- Aggiungi alla raccolta
Sostieni il mantenimento e l’aggiornamento di questa estensione con una piccola donazione allo sviluppatore.