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