Skip to content

Connecting GitHub

Updated View as Markdown

GitHub is the backbone of Indent’s engineering work. Most coding, review, and incident tasks start from a connected repository.

Connect GitHub

Install the GitHub App

Open GitHub in Integrations and select Install GitHub app. Sign in to GitHub and install the Indent GitHub App for the organizations and repositories you want Indent to work in.

Connect your personal account

On the same page, select Connect personal account so pull requests you request can be authored by your GitHub user. This connection uses your GitHub access in any session where you participate.

Set up an environment

Open Settings → Repositories, pick a repository, and select Setup Environment to build a development environment. Indent builds an image from a Dockerfile, clones the repository, and starts your services.

The organization GitHub App is shared with your team and grants access to its selected repositories. A personal account connection lets pull requests you request be authored by your GitHub user. Teammates can see that you connected it, but they cannot use it for their requests.

Manage GitHub

GitHub in Integrations shows the organization workspaces and personal accounts connected to Indent. Use a connection’s menu to reconnect or disconnect it.

Settings → Repositories lists the repositories available through the GitHub App. Select Manage GitHub App to change which repositories the app can access.

Each repository shows one of these actions:

  • Setup Environment appears when the repository has no environment. It creates a development environment for that repository.
  • Manage appears when one environment exists. A count appears when several exist. The menu opens each environment and includes Create another environment.

What Indent does with GitHub

With the app installed, Indent can:

  • Read and edit files in your repositories.
  • Clone repositories into a session, and pull in related repositories when work spans more than one service.
  • Run and test your application in the session.
  • Open and update pull requests.
  • Review pull requests, and comment on, label, and react to them.
  • Track CI checks and commit statuses, and read GitHub Actions workflow runs.

The exact permissions Indent requests appear on GitHub’s install screen when you add the app.

Next steps

Navigation

Type to search…

↑↓ navigate↵ selectEsc close