GitHub - gtback/private-github-header: Web Extension to modify the GitHub header for private repos

Web Extension to modify the GitHub header for private repos

For people who frequently work in both private and public GitHub repositories, this provides a clear visual distinction between the two.

Public repos:

Private repos:

Installation

Use the web-ext tool to develop, test, and build this extension.

npm install -g web-ext

web-ext run

web-ext lint

web-ext build

For now I've been manually uploading the extension to addons.mozilla.org rather than trying to set up web-ext sign.