GitHub integration

Turn an error into a tracked GitHub issue without leaving tinymon — create a new one prefilled with the stack trace, or link an existing issue, and see its open/closed state on the error.

Connect a repository

In a project's Settings → GitHub, enter the repo as owner/name and a GitHub fine-grained Personal Access Token scoped to that repo with Issues: Read & write. tinymon validates the token against the repo, then stores it encrypted. The token is never shown again and never sent back to your browser.

Least privilege. Use a fine-grained token limited to the single repository you're connecting. You can disconnect any time, which deletes the stored token.

Create an issue from an error

On an error's detail page, click Create GitHub issue. tinymon opens an issue in the connected repo with:

The new issue's number, URL, and state are stored on the error so the link sticks.

Already have an issue for it? Paste the GitHub issue URL (for example https://github.com/owner/repo/issues/123) into the link box on the error. tinymon validates it and, when the repo is connected, confirms it exists and records its current state.

State & unlinking

A linked error shows the issue number with an open or closed badge, refreshed when you open the error. Click unlink to remove the association (it doesn't touch the GitHub issue itself).

Security

Coming soon: a GitHub OAuth app, so you can connect with a click instead of minting a token by hand. For now, a fine-grained PAT is the supported path.