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)