
- HTTPS in every place Paradime clones. The Code IDE, Bolt runs, and DinoAI agents clone the repository over HTTPS. A Bolt run gets a token for that repository only when the run starts.
dbt depsalso getsgit@github.com:packages over HTTPS. See Connect with the GitHub App. - Push as yourself. People who link their GitHub account push from the Code IDE with their own token, so GitHub shows them as the author of the push. If a push is refused, the notice has a link that starts the account link in one click. See Push from the Code IDE as yourself.
- No GitHub Owner? Ask for one. If you arenโt an Owner of the GitHub organization, GitHub sends your request to the Owners. The page waits and connects when they approve, and gives you a message to send to your admin.
- Switch an existing workspace. When an installation already covers a workspaceโs repository, the page shows a Switch to the GitHub App banner. The repository stays the same and the deploy key stays on file, so Switch back to the deploy key takes one click.
- More than one installation. A company can install the app on more than one GitHub organization. Settings > Integrations > GitHub has an App installations card where you can add or remove repositories and unlink an installation. See Manage app installations.
- Connect from the API. The Workspace Management API has
gitRepositoryandsetGitRepository, which need an API key with the new Git repository admin capability.