GitHub

GitHub is required for Indent to work with your code. Once connected, Indent can read and edit files in your repositories, open and update pull requests, review PRs, and pull related repositories into the same session when work spans more than one service.

Connecting GitHub

Open Settings > GitHub.
Click Connect and sign in with your GitHub account.
Install the Indent GitHub App for the organizations and repositories you want to use.

Managing your connection

Once connected, the settings page shows your connected GitHub user and a list of all repositories accessible through the GitHub App.

Change user — click the dropdown next to your connected username to switch to a different GitHub account.
Manage GitHub App — click Manage Github App to change which repositories the Indent app has access to. This takes you to GitHub’s app installation settings.

Per-repository actions

Each repository in the list has two actions:

Setup Environment — configure the sandbox environment so Indent can run commands, install dependencies, and validate changes in that repo. See Environment Setup for details.

GitHub App permissions

The Indent GitHub App requests the following permissions:

Permission	Level	What it’s used for
`contents`	write	Read and write files, browse branches, compare commits, and clone repos into sandboxes.
`metadata`	read	Access basic repository metadata (required by all GitHub Apps).
`pull_requests`	write	Create and update PRs, post review comments, and resolve threads.
`issues`	write	Comment on PRs, add labels, and add reactions.
`checks`	write	Track CI status on commits and PRs.
`statuses`	write	Read and create commit statuses (e.g., posting an “Indent PR Review” status).
`actions`	write	Read GitHub Actions workflow results for CI tracking.
`workflows`	write	Trigger and dispatch GitHub Actions workflows.

Introduction

Onboarding Indent

Capabilities

Integrations

Connecting GitHub

Managing your connection

Per-repository actions

GitHub App permissions

​Connecting GitHub

​Managing your connection

​Per-repository actions

​GitHub App permissions

Connecting GitHub

Managing your connection

Per-repository actions

GitHub App permissions