> ## Documentation Index
> Fetch the complete documentation index at: https://ade-app.dev/docs/llms.txt
> Use this file to discover all available pages before exploring further.

# GitHub

> Connect GitHub so ADE can open, review, and merge pull requests for your lanes — without leaving the app.

Connecting GitHub turns a finished lane into a reviewable, mergeable pull request inside ADE. Once connected, ADE opens PRs from your lanes, pulls in CI status and review comments, and merges — so you never leave for a browser tab.

> [card] [Open PRs from a lane](https://ade-app.dev/docs/tools/pull-requests.md)
>
> Turn a lane's branch into a GitHub PR in a click, with the title and body pre-filled.

> [card] CI, comments, merge
>
> Read checks, reply to review threads, and merge — including auto-merge when the checks go green.

## Connect GitHub

Open **Settings → Integrations → GitHub** and authenticate. ADE stores the token in your machine's encrypted credential store — it's never written into project files or committed.

**1. Add a token**

Authenticate in the GitHub section of Settings. A token that can read and write the repositories you work in is all ADE needs.

**2. Let ADE verify it**

ADE probes access to the active repository and reports a single connection state (below). Hit **Refresh** after changing permissions on github.com to re-check immediately.

> [!TIP]
>
> You can also connect from a chat. When an agent needs GitHub, it shows a connect card in the chat. Paste a token there: ADE checks it with GitHub and saves it. The agent never sees it.

## Connection states

ADE reduces GitHub auth to one "is it usable here" signal, shown the same way in Settings and in the app banner.

> [card] Connected
>
> The token is valid and can reach the active repository. PR creation, CI, comments, and merge are all available.

> [card] Limited access
>
> The token authenticates, but can't reach the active repo — common with fine-grained tokens missing that repository. Grant it access and refresh.

> [card] Not connected
>
> No token, or the token can't identify a user. PR features stay disabled until you connect.

> [!NOTE]
>
> **Fine-grained tokens** are only considered connected once a repository probe passes — it's the one reliable check that the token can actually act on your repo. If Settings shows Limited access, add the active repository to the token's allowed list.

> [!TIP]
>
> GitHub is optional. ADE runs fine without it — you just won't get in-app PRs until it's connected. Everything else (lanes, chat, diffs, history) works regardless.

> [card] [Pull requests](https://ade-app.dev/docs/tools/pull-requests.md)
>
> Create, review, and merge PRs once GitHub is connected.

> [card] [Linear](https://ade-app.dev/docs/integrations/linear.md)
>
> Link issues to lanes and PRs, and let merges close them.


This documentation is built and hosted on [Mintlify](https://mintlify.com), a developer documentation platform.