GitHub integration
Connecting GitHub lets Coder create branches and pull requests, and it powers automatic card updates when PRs merge or close.
What you configure
In Settings -> Git, provide:
- Repository URL — the GitHub repo where code should land.
- Personal access token — used for repository access.
- Default branch — usually
mainordevelop, matching your team.
Important product note
The onboarding repo step is currently a lightweight setup screen. The durable integration used by the board lives in Settings -> Git, and the current wired provider is GitHub.
How agents use GitHub
| Agent | Use of GitHub |
|---|---|
| Coder | Clone, branch, commit, push, open PR |
| System | Poll PR state and sync card status on merge / close |
PR status sync
dreeft runs a background poller against open PR artifacts. In the current backend:
- merged PRs mark the card completed
- closed-but-unmerged PRs mark the card failed
That keeps the board aligned with GitHub instead of relying on manual cleanup.
Troubleshooting
- PR not created — verify the repo URL, token, and default branch.
- Wrong branch — check default branch in integration settings vs GitHub.
- Private repos — ensure the token has access to that org/repo.