GitHub

Connect your account

The Builder uses a GitHub personal access token that you create and paste into Settings. It is stored encrypted and used only to talk to GitHub on your behalf. Give it the repo scope so it can create and push to repositories.

Push a project

From the workspace, choose the push action, name the repository (or pick an existing one), and confirm. The Builder creates the repository if needed and pushes the project. Push again after changes; each push is a normal commit on the default branch.

Bring a repository in

You can clone a repository into a new project. The Builder fetches it through the server (so the browser's cross-origin rules do not get in the way) and opens it in the workspace.

Working with a team

Once the code is in your repository, it is ordinary Git: branches, pull requests and reviews work as they always do. The Builder does not lock the repository or require anything of it.