GitHub

Jorv Builder integrates with GitHub for Issues sync, PR notifications, and auto-push of git commits.

What Jorv Builder does on GitHub

• Reads your repos to populate the Mission Board with Issues
• Posts comments on PRs when you (or Orbit) ask it to
• Fetches PR review activity and surfaces it as cockpit notifications
• Pushes commits via the standard git push path (no GitHub API needed for this)

Jorv Builder never modifies your repo settings, never deletes branches without your explicit ask, and never force-pushes to main / protected branches.

Authentication

Jorv Builder uses GitHub OAuth (sign-in flow), not personal access tokens. The token is stored in your OS keychain. Sign out from Settings → GitHub Sync to revoke Jorv Builder's access.

Required scopes

• repo — read repo metadata + Issues + PR comments
• read:user — sign-in identity
• notifications — PR review activity polling

Setup

See How-to: Configure GitHub Sync.

Related

• Push failures troubleshooting
• Concept: Auto-Commit