[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

Größe

1,06 KB

Lizenz

n/a

Wird angewandt auf

Sie können auch diese verwandten Skripte ausprobieren:

GitHub Ordner-Downloader - Fügen Sie einen Download-Button hinzu，Ermöglicht das einfache Herunterladen spezifischer GitHub Ordner。
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.
🤠 Github hat die Anzeigegröße des Assistentenlagers verbessert - 🤠 Lageranzeigegröße: Auf GitHubs Codesuche, Lagersuche, Problemseite, Benutzerlagerliste und Repository-Seite wird die Größe des Lagers neben dem Lagernamen angezeigt, sodass Benutzer die Größe des Lagers schnell verstehen und optimieren können Auswahl. Warnung bei inaktiver Entwicklung: Wenn ein Repository in den letzten sechs Monaten nicht aktualisiert wurde, fügt das System oben im Repository eine Eingabeaufforderung hinzu, um Benutzer daran zu erinnern, dass das Repository inaktiv ist, und z
GitHub Nach Datum sortieren - Ändern Sie die Sortierung der Dateien auf absteigend nach Datum，Sehen Sie sich bequem die neuesten aktualisierten Dateien an。
Github Gist Code Snippet Copy und Downloader - Fügen Sie der GIST -Datei eine Kopierschaltfläche hinzu, um den Code leicht zu kopieren. |.