☰

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 22/07/2017. Voir la dernière version.

Auteur
r-a-y
Notes
0 0 0
Version
1.2
Créé
08/07/2014
Mis à jour
22/07/2017
Taille
1,54 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.

Before


After