Adds "Stars" and "Watching" links, as well as your user profile link, to the header alongside the existing "Pull Requests", "Issues" and "Gist" links.
As of 24. 03. 2020. See the latest version.
These are versions of this script where the code was updated. Show all versions.
