◐ Shell
clean mode source ↗

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:

Public repos

Private 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