☰

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.

Auteur
r-a-y
Installations quotidiennes
0
Installations (total)
228
Notes
5 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.

Before


After