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.

Changelog

0.1.1 (2021-12-13)

• [bugfix] Update CSS Selector to correctly find label

0.1.0 (2020-07-26)

• Initial Release