☰

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.

Ekde 2020/03/24. Vidu La ĝisdata versio.

Aŭtoro
r-a-y
Ratings
0 0 0
Versio
1.2.3
Kreita
2014/07/08
Ĝisdatigita
2020/03/24
Size
1,08 kb
Licenco
N/A
Aplikiĝas al

On Github.com, this userscript adds "Stars" and "Watching" links, as well as your user profile link, to the header alongside the existing "Pull Requests", "Issues" and "Gist" links when you are logged in.

Before


After