[Github] User-mention to profile page

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

Autor
HKR
Instalări zilnice
0
Total instalări
4
Rating-uri
0 0 0
Versiune
1.0
Creat
21-07-2021
Actualizat
22-07-2021
Licență
N/A
Se aplică pe

You can also try these related scripts:

  • Github Copiați fișierul original URL cu fișiere descărcate - butonul Adaugă la sfârșitul fiecărei linii de fișier,pentru a copia fișierul original URL și descărcați fișiere
  • GitHub folder downloader - Adăugați un buton de descărcare,Permite descărcarea ușoară a anumitor GitHub pliant。
  • 🤠 Dimensiunea de afișare a depozitului a asistentului îmbunătățit Github - 🤠 Dimensiunea afișajului depozitului: în căutarea codului GitHub, căutarea depozitului, pagina de probleme, lista de depozit de utilizatori și pagina de depozit, dimensiunea depozitului va fi afișată lângă numele depozitului, permițând utilizatorilor să înțeleagă rapid dimensiunea depozitului și să își optimizeze selecţie. Avertisment de dezvoltare inactivă: Dacă un depozit nu a fost actualizat în ultimele șase luni, sistemul va adăuga o solicitare în partea de sus a magaziei pentru a le reamint
  • GitHub Sortați după dată - Schimbați sortarea fișierelor în descrescătoare după dată,Vizualizați în mod convenabil cele mai recente fișiere actualizate。
  • GitHub Trimiteți informații afișați vizualizarea web - Acest script va GitHub Informațiile de depunere pe HTML vedere,pentru a vedea detaliile trimiterii mai clar。Acesta va trimite automat lista de informații、Antetul de comitere și cele mai recente informații de comitere sunt convertite în HTML Format,Oferă efecte vizuale și experiență utilizator mai bune。