
GitHub Username Highlighter di Mike Crittenden
Highlight arbitrary usernames on the GitHub merge queue
1 utente1 utente
Metadati estensione
Permessi e datiUlteriori informazioni
Permessi obbligatori:
- Accedere ai dati utente di github.com
Ulteriori informazioni
- Versione
- 1.0.0
- Dimensione
- 96,39 kB
- Ultimo aggiornamento
- un anno fa (1 ago 2024)
- Categorie correlate
- Licenza
- Mozilla Public License 2.0
- Cronologia versioni
- Aggiungi alla raccolta