[Github] User-mention to profile page

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

Autor

HKR

Instalări zilnice

Total instalări

Rating-uri

0 0 0

Versiune

1.0

Creat

21-07-2021

Actualizat

22-07-2021

Size

1,06 KB

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
🤠 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
Asistent de traducere cu cheie Github Shortcut - Ascultați comanda rapidă a tastaturii Ctrl + Q, care implementează funcția de a traduce text și de a înlocui rezultatele traducerii cu caseta de text originală.
Buton Legat de Commits pe GitHub: Margine Neagră și Text Albastru pe Galben - Butonul de înregistrare a Commits pe GitHub este înconjurat de o margine neagră, afișat cu font albastru și evidențiat cu fundal galben
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。