[Github] User-mention to profile page

Changes the user-mention URL to the user's profile page

Autor

HKR

Installationen heute

Installationen gesamt

Bewertungen

0 0 0

Version

1.0

Erstellt am

21.07.2021

Letzte Aktualisierung

22.07.2021

Lizenz

n/a

Wird angewandt auf

Sie können auch diese verwandten Skripte ausprobieren:

ExpandExpandExpand++ - Modifikation von "GitHub PR: expand, expand, expand!" mit mehreren kleinen Verbesserungen.
Github Find Active Forks [Embeded Edition] - Finden Sie die aktivsten Forks eines Github-Repositorys.
Button zum Kopieren der Raw-Datei URL | Github - Fügt am Ende jeder Dateizeile eine Schaltfläche zum Kopieren der Raw File URL hinzu
PlumFont - Ersetzen Sie Roboto, Segoe UI, Arial und andere Schriftarten - Ersetzen Sie die Schriftarten von Webseiten durch Ihre bevorzugten. Hören Sie auf, Segoe UI, Arial und Microsoft YaHei zu verwenden. Ersetzen Sie englische Ziffern durch die Schriftarten SF Pro und Inter.