This is a userscript to customize the global navigation of GitHub. This previews some the best features and aims to deliver a happy medium between the old and new styles without compromising on ...

You have two options depending on the browser you use. You can install the script as a Userscript in all popular browsers or as a Browser Extension in some supported ...