☰

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 24/03/2020. Voir la dernière version.

Auteur
r-a-y
Notes
0 0 0
Version
1.2.3
Créé
08/07/2014
Mis à jour
24/03/2020
Taille
1,08 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