GitHub Old Header is a productivity chrome extension. it's a free extension , it has 2 active users since released its first version, it earns an average rating of 5.00 from 3 rated user, last update is 1873 days ago.
Recently the GitHub header became simpler (https://github.com/blog/2022-an-updated-header-just-for-you), which is not bad. However, it removes some links that are important to me (and probably for others): the explore link and the direct link to the logged user profile. After installing this little extension, the user has these links back (see the screenshot). The extension is open-source, on GitHub: https://github.com/IonicaBizau/github-old-header
You could download the latest version crx file or older version files and install it.
English.
100% user give 5-star rating. Read reviews of github old header
You could find more help information from github old header support page.
You could send emails to publisher, or check publisher's website.
More about manifest_file of github old header.
You could click to report abuse of github old header.
Simple to install and it's does exactly what is supposed to do.