Adds "Stars" and "Watching" links, as well as your user profile link, to the header alongside the existing "Pull Requests", "Issues" and "Gist" links.
Voici toutes les versions de ce script. Voir uniquement les versions où le code a été modifié.
