☰

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.

À partir de 2015-06-19. Voir la dernière version.

Auteur
r-a-y
Évaluations
0 0 0
Version
1.1
Créer
2014-07-08
Mis à jour
2015-06-19
Taille
1,56 ko
Licence
S/O
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.