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. predev/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 stay server-side and are only used for the scopes you approved
  • pre.dev requests the repo scope (GitHub has no narrower read/write split) to import repos and open PRs, workflow so pushes that touch CI files don’t fail, and basic profile scopes (read:user, user:email)
  • Disconnect anytime from the Integrations page — all active tokens are revoked