☰

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.

Versión del día 24/3/2020. Echa un vistazo a la versión más reciente.

Autor
r-a-y
Calificaciones
0 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 alongside the existing "Pull Requests", "Issues" and "Gist" links when you are logged in.

Before


After