Github.com - Extra header links

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 19/06/2015. See the latest version.

These are versions of this script where the code was updated. Show all versions.

  • v1.2.3 24/03/2020 Long, overdue update!
  • v1.2.2 22/08/2017 Fix compatibility with updated GitHub markup changes
  • v1.2.1 22/07/2017 Fix styling issue with username link
  • v1.2 22/07/2017 Fix compatibility with updated GitHub design
  • v1.1 19/06/2015 Updated to match latest changes in Github. Also adds "Stars" and your profile link to the Github header now.
  • v1 08/07/2014