Skip to main content
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

  1. Open Settings > GitHub.
  2. Click Connect and sign in with your GitHub account.
  3. 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:
PermissionLevelWhat it’s used for
contentswriteRead and write files, browse branches, compare commits, and clone repos into sandboxes.
metadatareadAccess basic repository metadata (required by all GitHub Apps).
pull_requestswriteCreate and update PRs, post review comments, and resolve threads.
issueswriteComment on PRs, add labels, and add reactions.
checkswriteTrack CI status on commits and PRs.
statuseswriteRead and create commit statuses (e.g., posting an “Indent PR Review” status).
actionswriteRead GitHub Actions workflow results for CI tracking.
workflowswriteTrigger and dispatch GitHub Actions workflows.