[Github] User-mention to profile page

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

Autor

HKR

Instalaciones diarias

Instalaciones totales

Calificaciones

0 0 0

Versión

1.0

Creado

21/7/2021

Actualizado

22/7/2021

Tamaño

1,06 KB

Licencia

Desconocida

Funciona en

También puedes probar estos otros scripts:

🤠 Tamaño de visualización del almacén del asistente mejorado de Github - 🤠 Tamaño de visualización del almacén: en la búsqueda de código, búsqueda de almacén, página de problemas, lista de almacén de usuarios y página de repositorio de GitHub, el tamaño del almacén se mostrará junto al nombre del almacén, lo que permitirá a los usuarios comprender rápidamente la escala del almacén y optimizar su selección. Advertencia de desarrollo inactivo: si un repositorio no se ha actualizado en los últimos seis meses, el sistema agregará un mensaje en la parte superior del repos
GitHub Ordenar por fecha - Cambiar la clasificación de archivos a descendente por fecha，Vea cómodamente los últimos archivos actualizados。
GitHub descargador de carpetas - Agregar un botón de descarga，Permite descargar fácilmente archivos específicos GitHub carpeta。
GitHub Confirmar automáticamente la autorización del dispositivo - existirGitHubLa página de autorización ingresa automáticamente el código de autorización y lo confirma automáticamente.。
PlumFont - Reemplace Roboto, Segoe UI, Arial y otras fuentes - Reemplace las fuentes de las páginas web por las de su preferencia. Deje de usar Segoe UI, Arial y Microsoft YaHei. Reemplace los números en inglés con las fuentes SF Pro e Inter.