Skip to main content
pre.dev’s Coding Agent is built around GitHub end-to-end. Connect once and every project can import existing repos, ship real PRs, and leave a clean branch-per-task history behind.

​
Connect your account

Go to Integrations → OAuth Connectors and click Connect GitHub. You authorize through GitHub’s standard OAuth flow — pre.dev only ever holds a scoped token, never your password, and you can revoke it at any time.

​
Import an existing repo

Once GitHub is connected you can start a project from any repo you have access to — public or private.

Import Repos

See what pre.dev detects from your codebase (stack, patterns, schema, API contracts) and how imported projects behave afterwards.

​
Pull requests, not pushes

Every task a build agent completes ends in a pull request. The agent never pushes to main.

Feature branch per task

Branches are named after the task (e.g. feat/setup-user-auth). One task in the spec = one branch = one PR.

Verified before it opens

Types compile, lint passes, tests pass, browser checks pass — or the PR is never opened in the first place.

You stay in control

Merge immediately, batch, or cherry-pick. Review the diff, verify acceptance results, merge on your terms.

Auditable history

Every PR maps back to a specific story in the spec, so your git log is a readable record of how the app was built.

Pull Request Workflow

The full lifecycle: branch naming, diff contents, merge strategies, PR history.

​
Security

  • Tokens are encrypted at rest and only used for the scopes you approved
  • pre.dev requests the minimum scopes required (repo read for imports, repo write for PR creation)
  • Disconnect anytime from the Integrations page — all active tokens are revoked