☰

[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
Tamaño
1,06 KB
Licencia
Desconocida
Funciona en

También puedes probar estos otros scripts:

  • 🏷️ UTags - Agregar etiquetas de usuario a los enlaces - Mejora tu experiencia de navegación agregando etiquetas personalizadas y notas a usuarios, publicaciones y videos en la web. Perfecto para organizar contenido, identificar usuarios y filtrar publicaciones no deseadas. También funciona como una herramienta moderna de gestión de marcadores. Compatible con más de 100 sitios web populares, incluyendo X (Twitter), Reddit, Facebook, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch y muchos más.
  • 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.。
  • Buscador de direcciones de correo electrónico de GitHub - Use datos de eventos públicos (por ejemplo, una presentación presionada a una base de código público), obtenga la dirección de correo electrónico de envío del usuario y muestrelos en la página de perfil. Además, también agrega un conveniente botón "Copiar al portapapeles" para una fácil copia.
  • Estado del filtro de notificación de github - Versión de desarrollo de github-notification-inbox-toggle