Configuration

Polling interval

By default Pronto polls GitHub every 60 seconds. To change:

1. Open the popup → settings
2. "Polling interval" — choose 15s / 60s / 5min

Faster polling uses more of your GitHub API rate limit. The default is balanced.

Watched users

Pronto can track PRs from specific users even if you're not a reviewer. Useful for following teammates.

Settings → Watched users → add a GitHub username.

Auth modes

Pronto supports two auth modes:

• OAuth (default) — sign in with GitHub. Token stored in macOS Keychain.
• Personal Access Token — paste a PAT directly. Useful for org-level fine-grained tokens.