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 les versions de ce script où le code a été modifié. Voir toutes les versions.
