GitHub

Connect GitHub to import repository issues and open PR summaries. The same connection supports the live pull request inbox and review interface.

​

Authenticate

Open Settings → Connections → GitHub. Choose Sign in with GitHub and follow the device authorization flow: open GitHub, enter the displayed code, and authorize the account. You can also choose Access token. The setup form supports a classic personal access token with repo and read:user scopes. If sign-in is unavailable in your build, use this token path.

​

Select repositories

After authentication, search the repository list and save the repositories you want to connect. Use Add Repository later to change the selection. Selected repositories scope imported issues and summaries. They also provide the default repository scope for the live PR inbox. Use Sync to refresh imported data or enable Auto Sync.

​

Use GitHub data

Attach an issue to a workspace prompt through Tasks or the composer @ menu. Link repositories to a Mains project to group relevant task context. Open a PR to read checks, comments, review threads, and diffs. The review interface fetches current GitHub data rather than treating a synced summary as the full PR.

​

Git and agent authentication

This connection does not authenticate GitHub Copilot, configure Git’s credential helper, or sign in the GitHub CLI. Git actions use gh for PR creation. Authenticate that CLI separately on the machine that owns the workspace.

​

Disconnect

Choose Revoke GitHub Access in the management view. This deactivates the Mains connection and removes imported GitHub data and selected repositories. To invalidate the token at GitHub, revoke it in GitHub’s settings.