☰

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

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

Before


After

长期地址
遇到问题？请前往 GitHub 提 Issues。