The GitHub App is a different surface from a GitHub Broker Connection. This App (
type: github) is an observation surface: it watches PRs and pushes to drive drift and feed the Auditor, and it exposes no invoke. A GitHub Broker Connection (type: nango:github) for write operations like creating an issue is not shipped. See Integrations and Connections.Installation
Install from the dashboard:Select repositories
Choose the account or organization, then select specific repositories. You can expand access later from the same settings page.
What the app does
PR observation
Onpull_request.opened, synchronize, reopened, and ready_for_review events:
- Fetches the list of changed files via the GitHub API
- Matches each file against all workspace topic patterns using glob intersection
- Records every PR↔topic match (powers the dashboard’s PR activity) and queues the Auditor
Push staleness
Onpush events to tracked branches (default branch plus any custom branches):
- Matches changed files against topics using glob pattern intersection
- Marks matching topics as stale with a reason (e.g., “3 files changed in commit abc1234”)
PR comment format
<!-- driftless-auditor -->) lets Driftless find and update the comment on subsequent pushes.
Permissions
| Permission | Level | Reason |
|---|---|---|
| Contents | Read | Fetch changed files in PRs and pushes |
| Pull requests | Read & write | Post and update the Auditor’s comment |
| Issues | Read & write | PR comments use the Issues API |
| Metadata | Read | Required by GitHub for all apps |
Deactivation
Remove the integration from Settings > GitHub Integration, or uninstall the app directly on GitHub. Theinstallation/deleted webhook automatically deactivates the integration in your workspace.
The CLI works without the GitHub App. Auditor PR comments and push-driven staleness require the app to be installed.
