Brings the old header links back.
GitHub Old Header Extension
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
Read more
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
Source Manifest.json
{"update_url": "https://clients2.google.com/service/update2/crx", "name": "GitHub Old Header", "short_name": "github-old-header", "version": "2.4.0", "manifest_version": 2, "icons": { "16": "icons/icon16.png", "32": "icons/icon32.png", "48": "icons/icon48.png", "128": "icons/icon128.png" }, "description": "Brings the old header links back.", "permissions": ["https://github.com/*"], "content_scripts" : [{ "matches" : [ "https://github.com/*"], "js" : ["extension/index.js"] }]}
Read more