[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:

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
🤠 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
Asistente de traducción de clave de acceso directo de GitHub - Escuche el atajo de teclado CTRL + Q, que implementa la función de traducir el texto y reemplazar los resultados de la traducción con el cuadro de texto original.
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.
Botón Relacionado con Commits de GitHub: Borde Negro y Texto Azul sobre Amarillo - El botón de grabación de Commits de GitHub está rodeado por un borde negro, se muestra en fuente azul y se destaca con un fondo amarillo