[Github] User-mention to profile page

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

Aŭtoro

HKR

Ĉiutagaj instaloj

Tutaj instaloj

Ratings

0 0 0

Versio

1.0

Kreita

2021/07/21

Ĝisdatigita

2021/07/22

Size

1,06 kb

Licenco

N/A

Aplikiĝas al

You can also try these related scripts:

GitHub dosierujo elŝutilo - Aldonu elŝutan butonon，Ebligas facilan elŝuton de specifaj GitHub dosierujo。
Github Kopiu originalan dosieron URL kun elŝutaj dosieroj - Aldoni butonon ĉe la fino de ĉiu dosierlinio，por kopii la originalan dosieron URL kaj elŝuti dosierojn
Aldoni Kopian Butonon al Babilaj Mesaĝoj sur Github Copilot retpaĝo - Aldonas "Kopi" butonon al la babilejmesaĝaj elementoj por facile kopii ilian enhavon.
Butono Rilata al Commits de GitHub: Nigra Bordero kaj Blua Teksto sur Flava - La butono por registri Commits de GitHub estas ĉirkaŭita de nigra bordero, montrita per blua tiparo, kaj elstarigita per flava fono
🤠 Github plibonigita asistanta magazena ekrangrandeco - 🤠 Grando de montrado de magazeno: En la serĉo de kodo de GitHub, serĉo de magazeno, temo-paĝo, uzanta stokisto kaj deponejo, la grandeco de la stokejo estos montrata apud la stoknomo, permesante al uzantoj rapide kompreni la skalon de la stokejo kaj optimumigi sian. elekto. Neaktiva evoluaverto: Se deponejo ne estis ĝisdatigita en la pasintaj ses monatoj, la sistemo aldonos avertiĝon ĉe la supro de la deponejo por memorigi uzantojn ke la deponejo estas neaktiva kaj montri la tempon de la lasta ĝ