Adds "Stars" and "Watching" links, as well as your user profile link, to the header alongside the existing "Pull Requests", "Issues" and "Gist" links.
Per 19-06-2015. Zie de nieuwste versie.
Dit zijn versies van het script waarin de code is bijgewerkt. Alle versies tonen.
