public-github-header

Web Extension to modify the GitHub header for public repos

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

This is the inverse of https://github.com/gtback/private-github-header and the source slightly modified.

Private repos:

Public repos:

Installation

Install from addons.mozilla.org.

Developing

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.