GitHub
Dave can read your code, open pull requests, and comment on them.
Connect
Section titled “Connect”-
In Dave, go to Integrations → Add integration → GitHub. A popup opens on GitHub.
-
Choose where to install — pick the organization that owns the repositories. Installing on an organization requires being an owner; otherwise GitHub turns your approval into a request.
-
Choose which repositories: Only select repositories, or All repositories. This is the access boundary, and Dave cannot widen it from inside the product.
-
Approve the install, then wait. GitHub confirms over a webhook rather than in the redirect, so there is a short gap before the connection goes Active.
To change the repository list later, use the organization’s Settings → GitHub Apps → the Dave app → Configure, or Connect again.
Selecting repositories
Section titled “Selecting repositories”After connecting, choose which of the granted repositories Dave should work in. This narrows Dave’s attention; it does not change the App grant.
Webhooks
Section titled “Webhooks”GitHub posts to a dedicated inbound endpoint, which is how Dave learns about repository events.