GitHub integration
How Dave Doctor is intended to use repositories and pull requests.
GitHub is a primary integration for engineering agents: read code, correlate changes with incidents, and open pull requests for human review. On the marketing site, PR steps appear in a prototype incident flow with sample data.
Intended use
- Map deploys and commits to incident timelines.
- Propose fixes as branches and PRs — not direct production pushes without approval.
- Reference CI check status before recommending rollout or rollback.
Next steps
Read Code fixes and pull requests and Permissions and access before granting write scopes.