[Github] User-mention to profile page

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

Autor
HKR
Instalaciones diarias
0
Instalaciones totales
4
Calificaciones
0 0 0
Versión
1.0
Creado
21/7/2021
Actualizado
22/7/2021
Licencia
Desconocida
Funciona en

También puedes probar estos otros scripts:

  • 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.
  • GitHub descargador de carpetas - Agregar un botón de descarga,Permite descargar fácilmente archivos específicos GitHub carpeta。
  • GitHub Ordenar por fecha - Cambiar la clasificación de archivos a descendente por fecha,Vea cómodamente los últimos archivos actualizados。
  • 🤠 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 Copiar archivo original URL con archivos de descarga - Botón Agregar al final de cada línea de archivo,para copiar el archivo original URL y descargar archivos