Github.com - Extra header links

v1.2.3

2020-03-24

Long, overdue update!

v1.2.2

2017-08-22

Fix compatibility with updated GitHub markup changes

v1.2.1

2017-07-22

Fix styling issue with username link

v1.2

2017-07-22

Fix compatibility with updated GitHub design

v1.1

2015-06-19

Updated to match latest changes in Github. Also adds "Stars" and your profile link to the Github header now.

v1

2014-07-08