GitHub

Connect GitHub to map repository access, let agents inspect your code and propose fixes, and assign human tasks as GitHub Issues.

​

Choose what agents can access

The GitHub App connects the repositories you select. The access you grant determines what agents can do: Your team reviews proposed code changes through its normal pull request process. See Connecting your codebase for how repository access supports triage and remediation.

​

Connect GitHub

​

1. Start the installation

Open Settings → Integrations → GitHub and start the GitHub App installation. Sign in to GitHub and choose the organization you want to connect. An organization owner may need to approve the installation and its requested permissions.

​

2. Select repositories and permissions

Choose Only select repositories to limit access, or All repositories to include every repository in the organization. Review the permissions requested for the capabilities you want to use, then approve the installation. GitHub controls repository access through this installation. See Install a GitHub App for organization approval requirements.

​

3. Choose where human tasks appear

If you use GitHub Issues for human tasks, select a repository for those issues in the integration settings. Issues must be enabled in that repository, and the people receiving tasks must be eligible assignees. Each issue contains the agent’s request, the relevant vulnerability, and instructions for completing the work.

​

Respond to a human task

Complete the requested action, add any relevant details, and close the issue. You can also comment to ask questions or explain what is blocking you. If a task asks you to merge a pull request, the integration detects the merge and completes the task automatically. A request to deploy a fix remains open until deployment is confirmed. See Issue tracking for how these updates let agents continue.

​

Change repository access

Open your organization’s installed GitHub Apps and configure the Antigen installation. Add or remove repositories as your needs change. If an agent needs code outside the selected repositories, it can create a human task asking your team to grant access.

​

Troubleshooting

​

An agent cannot read a repository or open a pull request

Check that the repository is included in the installation and that the app has the permissions needed for the requested action. If GitHub is waiting for an owner to approve updated permissions, complete that approval first.

​

An issue cannot be assigned

Check that the selected person has access to the repository and can be assigned issues there.