☰

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.

Version au 19/06/2015. Voir la dernière version.

Auteur
r-a-y
Notes
0 0 0
Version
1.1
Créé
08/07/2014
Mis à jour
19/06/2015
Taille
1,56 ko
Licence
N/A
S'applique à

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.