← All docs

GitHub Integration [preview]

Instead of setting up a GitHub personal access token, the GitHub integration connects your GitHub account to exe.dev so that you can work on private repos without managing tokens, and without having tokens on the VM itself.

Linking your GitHub account

Link your GitHub account from the Integrations page.

The exe.dev GitHub App will need to be installed into your account or into your organization. If someone else has already installed it, you may need to sign into your account instead of clicking the install button.

Creating repo integrations

Once connected, create per-repo integrations:

exe.dev ▶ integrations add github --name blog --repository ghuser/blog --attach vm:my-vm
Added integration blog

Usage from a VM:
  ssh my-vm 'cd $(mktemp -d) && git clone https://blog.int.exe.xyz/ghuser/blog.git'

Then from inside the VM:

git clone https://blog.int.exe.xyz/ghuser/blog.git

Only the specific repository you configured is accessible through the integration, and the credentials never appear inside the VM.

Disconnecting

To disconnect your GitHub account:

exe.dev ▶ integrations setup github -d
Disconnected GitHub: your-github-user (your-github-user)