Connect a repository
Last updated
Was this helpful?
This guide explains how to connect a GitHub repository to Aviator Verify.
An Aviator account
Admin or owner access to the GitHub repository
The Aviator GitHub App installed on your organization
Go to Settings → Integrations → GitHub in your Aviator dashboard.
If you see “Not connected,” click Connect GitHub and follow the OAuth flow to install the Aviator GitHub App on your organization.
Select which repositories the app can access:
All repositories — Aviator can access any repo in your org
Select repositories — Choose specific repos
Go to Verify → Repositories.
Click Add Repository.
Select the repository from the dropdown. Only repositories the GitHub App can access will appear.
Click Enable.
After enabling, you can configure:
Exempt paths
Glob patterns. PRs touching only these skip verification
Empty
Preview block
Per-repo preview configuration in aviator/verify.yaml
None
A preview is not required to get started — Verify runs code-scan only without one and produces verdicts on structural criteria from the first PR. Add a preview later when behavioral verification matters.
See Configuration reference for the full surface, and Preview YAML for the preview block.
To confirm everything works:
Install the Aviator MCP in your coding agent.
Make a small change in this repo with the agent.
Have the agent call specSubmit through the MCP.
Open the review URL returned by the tool — you should land on the review document for this repo.
Verify the Aviator Verify check appears on the PR (assuming you've opened one).
If the check doesn't appear or the review document fails to load, see Fixing verification failures.
Repeat steps 2-3 for each repository you want to enable.
If a repository doesn’t appear in the dropdown, check that:
The Aviator GitHub App has access to it
You have admin access to the repository
Go to Verify → Repositories, find the repository, and click Remove.
This disables Verify for that repository. Existing submissions and verification history are retained.
Last updated
Was this helpful?
Was this helpful?
