Integrations

Integrations connect your enterprise to external services. Currently, this means GitHub.

GitHub integration

The GitHub integration lets you connect workspaces to GitHub repositories. You can sync code between Infracodebase and GitHub, create new repositories, manage branches, and work with pull requests.

Connecting your account

You can connect a personal GitHub account or a GitHub organization. Navigate to your enterprise's Integrations page and click Connect GitHub, then choose which type of account to connect.

For organizations, you install the Infracodebase GitHub App on your org and select which repositories to make available. You can grant access to all repositories or choose specific ones.

For personal accounts, the same GitHub App installation happens, followed by an additional OAuth authorization step. This gives Infracodebase the ability to create repositories on your behalf.

You can connect multiple GitHub accounts and organizations to a single enterprise.

What you get

• Repository access to list, connect, and create repositories from within Infracodebase
• Two-way sync so changes in the workspace sync to GitHub and vice versa
• Branch management to create and switch between branches
• Pull request support to view, create, and merge pull requests
• Webhook-driven sync so pushes to GitHub automatically trigger updates in connected workspaces

Once connected at the enterprise level, workspaces can link to specific repositories and branches. See Git for workspace-level setup.

Managing integrations

From the Integrations page you can view connected accounts and their status, disconnect accounts when no longer needed, and manage repository access.