☰

[Github] User-mention to profile page

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

Aŭtoro
HKR
Ĉiutagaj instaloj
0
Tutaj instaloj
4
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。
  • Malfermu JSDelivr -ligon sur github - Malfermu la ligon GitHub ĉe JSDelivR por rapide elŝuti dosierojn
  • 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 ĝ
  • GitHub Ordigi laŭ dato - Ŝanĝu dosierordigon al malkreskanta laŭ dato，Oportune vidi la lastajn ĝisdatigitajn dosierojn。