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.

Author
r-a-y
Daily installs
0
Total installs
224
Ratings
5 0 0
Version
1.2.3
Created
2014-07-08
Updated
2020-03-24
License
N/A
Applies to

On Github.com, this userscript adds "Stars" and "Watching" links, as well as your user profile link, to the header.

Before


After