GitHub
GitHub shows up in two unrelated places. Keep them straight:
- The GitHub integration — a plugin agents use to work with repositories, issues, and pull requests.
- GitHub sign-in — an optional way for humans to sign in to Cohort. Deployment configuration, no agent access involved. Covered in Sign-in and security.
The GitHub integration
The registry's GitHub plugin lets granted agents list repositories, read and create issues, and read pull requests.
- Install it
Settings → Integrations → find GitHub (search or the Code & Repos chip) → Add to workspace.
- Add a token
Open the installed plugin and add the credential its form asks for — a GitHub access token. A fine-grained personal access token scoped to the repositories agents should reach is the right default; the token is sealed on save and never shown again.
- Grant agents
Pick all agents or a named list. An engineering agent probably needs it; a finance agent does not.
Grants control which agents may call the plugin; the token controls what the plugin can do at GitHub. Use both: a read-only token for triage agents, a narrower repo list for anything that writes issues.
What agents do with it
Once granted, the plugin's tools join the agent's tool belt like any other capability — an agent asked to "summarise open PRs on the api repo" calls the plugin's tools, and each execution lands in the workspace ledger as a redacted audit event (plugin, tool, outcome, duration).
The same tools are callable programmatically through the org API (integration.invokeTool) and over MCP — see Build your own integration.