Get the old links in GitHub header back Posted by ionicabizau on Friday June 19, 2015 @08:04AM from the github.com dept. https://github.com/IonicaBizau/github-old-header ( 2 comments | 5 points | on HN )
Regarding the project itself, the license is strange, but it's a nice little userscript.