☰

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

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

Before


After