Connect GitHub

Connect your workspace to GitHub for two-way synchronization between your workspace and a repository.

Connecting to GitHub

Your enterprise needs the GitHub integration configured first. Once that's in place, there are a few ways to connect a workspace to a repository.

When creating a workspace. You can connect to an existing GitHub repository right when you create a new workspace. The repository's files are pulled into the workspace automatically.

From an existing workspace. If you started from scratch and want to connect later, use the GitHub icon at the top right corner of the editor to connect the workspace to a repository or create a new one. If your enterprise hasn't set up the GitHub integration yet, the + button in the bottom left corner of the chat lets you start that process.

Once connected, files created or modified in the workspace are committed and pushed to the selected branch. Pushes to the branch in GitHub are automatically pulled into the workspace via webhooks.

You can sync with any branch. A dedicated branch for Infracodebase changes, your main branch, or a feature branch.

Publishing changes

When you're ready to push your work to GitHub, use the Publish button in the editor. It walks you through creating a branch, committing with an AI-generated message, pushing to remote, and creating a pull request. See Publishing for the full flow.

Disconnecting

Disconnect at any time from workspace settings. Files in both the workspace and repository are preserved. Only the sync stops.