☰

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 22/7/2017. Echa un vistazo a la versión más reciente.

Autor
r-a-y
Calificaciones
0 0 0
Versión
1.2
Creado
8/7/2014
Actualizado
22/7/2017
Tamaño
1,54 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