☰

Github.com - Extra header links - modified

Adds "Stars" link, as well as your user profile link, to the header alongside the existing "Pull Requests", "Issues" and "Gist" links.

As of 2019-02-27. See the latest version.

Author
Hao Zhou
Ratings
0 0 0
Version
1.5.0
Created
2018-05-25
Updated
2019-02-27
Size
1.61 KB
License
N/A
Applies to

Forked from: https://greasyfork.org/zh-CN/scripts/3139-github-com-extra-header-links

1. add "topics" link in header