Privacy Policy

Last updated: March 2026

The short version

Proper GitHub is a browser extension that improves the GitHub pull request UI. It does not collect, store, or transmit any of your data. There is no server, no analytics, no tracking. Everything runs locally in your browser.

What the extension does

Proper GitHub is a client-side UI plugin. It replaces parts of GitHub's pull request pages with a custom interface powered by Monaco Editor. All data displayed comes directly from GitHub's public API (api.github.com), requested from your browser using your own Personal Access Token.

Your Personal Access Token

To access the GitHub API, the extension asks you to provide a Personal Access Token (PAT). This token is stored locally in your browser's extension storage (browser.storage.local) and is never sent anywhere other than GitHub's API. There is no server-side component — the extension communicates directly with api.github.com from your browser.

Data collection

None. Specifically:

  • No analytics or telemetry
  • No cookies or tracking pixels
  • No data sent to any server we operate (we don't operate any)
  • No personal information collected or stored beyond your PAT in local browser storage

Real-time updates

To provide instant feedback when CI checks complete or notifications arrive, the extension listens to messages on GitHub's existing WebSocket connection to alive.github.com. This is the same connection GitHub's own pages use for real-time updates. The extension does not create its own connection or send any data — it only reads incoming messages on the connection GitHub already established in your browser. No data from these messages is stored or transmitted anywhere.

Third-party services

The only external service the extension communicates with is GitHub's API (api.github.com), using your own credentials. The extension also passively reads messages from GitHub's real-time WebSocket connection (alive.github.com) for instant UI updates, but does not send any data through it. No other third-party services are contacted.

Open source

Proper GitHub is open source under the MIT license. You can inspect the entire codebase to verify these claims at github.com/MathiasWP/proper-github.

Contact

Questions? Open an issue on the GitHub repository.