☰

Github.com - Extra header links

Adds "Stars" and "Watching" links, as well as your user profile link, to the header alongside the existing "Pull Requests", "Issues" and "Gist" links.

Autor
r-a-y
Instalaciones diarias
0
Instalaciones totales
228
Calificaciones
5 0 0
Versión
1.2.3
Creado
8/7/2014
Actualizado
24/3/2020
Tamaño
1,08 KB
Licencia
Desconocida
Funciona en

On Github.com, this userscript adds "Stars" and "Watching" links, as well as your user profile link, to the header.

Before


After