
GitHub Username Highlighter από Mike Crittenden
Highlight arbitrary usernames on the GitHub merge queue
1 χρήστης1 χρήστης
Μεταδεδομένα επέκτασης
Δικαιώματα και δεδομέναΜάθετε περισσότερα
Απαιτούμενα δικαιώματα:
- Πρόσβαση στα δεδομένα σας για github.com
Περισσότερες πληροφορίες
- Έκδοση
- 1.0.0
- Μέγεθος
- 96,39 KB
- Τελευταία ενημέρωση
- ένας χρόνος πριν (1 Αυγ 2024)
- Σχετικές κατηγορίες
- Ιστορικό εκδόσεων
- Προσθήκη σε συλλογή