> For the complete documentation index, see [llms.txt](https://docs.aviator.co/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.aviator.co/verify/how-to-guides/connect-a-repository.md).

# Connect a repository

This guide explains how to connect a GitHub repository to Aviator Verify.

### Prerequisites

* An Aviator account
* Admin or owner access to the GitHub repository
* The Aviator GitHub App installed on your organization

### Steps

#### 1. Install the GitHub App (if not already installed)

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

#### 2. Enable the repository for Verify

Go to **Verify → Repositories**.

Click **Add Repository**.

Select the repository from the dropdown. Only repositories the GitHub App can access will appear.

Click **Enable**.

#### 3. Configure repository settings

After enabling, you can configure:

| Setting              | Description                             | Default |
| -------------------- | --------------------------------------- | ------- |
| **Require specs**    | PRs must have a linked spec             | Off     |
| **Exempt paths**     | File patterns that don’t need specs     | Empty   |
| **Auto-link specs**  | Link specs to PRs based on branch names | On      |
| **Block on failure** | Failed verification blocks merge        | On      |

Adjust these based on your workflow. For a trial, you might leave “Require specs” off to start.

#### 4. Verify the connection

To confirm everything works:

1. Create a test spec in Verify
2. Push a branch to the repository
3. Link the spec to a PR
4. Check that the Aviator Verify check appears

If the check doesn’t appear, see Troubleshooting: Check not appearing.

### Adding more repositories

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

### Removing a repository

Go to **Verify → Repositories**, find the repository, and click **Remove**.

This disables Verify for that repository. Existing specs and verification history are retained.

### See also

* How to configure branch protection
* Reference: GitHub integration
* Reference: Configuration options


---

# Agent Instructions
This documentation is published with GitBook. GitBook is the documentation platform designed so that both humans and AI agents can read, navigate, and reason over technical content effectively. Learn more at gitbook.com.

## Querying This Documentation
If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://docs.aviator.co/verify/how-to-guides/connect-a-repository.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.