Skip to content

Commit

Permalink
Update README
Browse files Browse the repository at this point in the history
  • Loading branch information
gtback committed Jul 26, 2020
1 parent a3a5f12 commit 4ceef27
Show file tree
Hide file tree
Showing 4 changed files with 31 additions and 0 deletions.
1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
web-ext-artifacts/*
30 changes: 30 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,2 +1,32 @@
# 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**:

![Public repos](public.png)

**Private repos**:

![Private repos](private.png)

## Developing

Use the [`web-ext`](https://github.com/mozilla/web-ext) tool to develop, test,
and build this extension.

```sh
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`.
Binary file added private.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added public.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.

0 comments on commit 4ceef27

Please sign in to comment.