38 lines (22 loc) · 774 Bytes

private-github-header

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

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.