Github.com - Extra header links

Information
Code
Historique
Rétroaction (0)
Statistiques

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 2015-06-19. Voir la dernière version.

Installer ce script ?

Poser une question, écrire un avis, ou signaler le script.

Auteur

r-a-y

Évaluations

0 0 0

Version

1.1

Créer

2014-07-08

Mis à jour

2015-06-19

Taille

1,56 ko

Licence

S/O

S'applique à

github.com

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.