Skip to main content
The GitHub integration lets you push the source code of any Michelangelo project to a GitHub repository.

​
Connecting a GitHub Account

  1. Open a project in the editor.
  2. Tap the settings icon in the header.
  3. Go to Tools → GitHub → Settings.
  4. Tap Add GitHub Account.
  5. Complete the GitHub App installation in the browser.
After installation, the callback saves the connection in your account.

​
Selecting an Installation

If you have multiple GitHub organizations or accounts, you can choose which installation to use for the current project. Tap the desired account to link it.

​
Pushing Code

Once an installation is selected, Michelangelo creates a repository for your project. To push the latest code:
  1. Open App Settings → Tools → GitHub → Settings.
  2. Tap Push.
The current project files are committed to the repository.

​
Unlinking

To unlink a repository:
  1. Open the GitHub settings screen.
  2. Scroll to the Actions section.
  3. Tap Unlink repository and confirm.
This removes the link between the Michelangelo project and the GitHub repository. It does not delete the repository on GitHub.

​
Limitations

  • Pull is not implemented yet — tapping Pull shows a “Coming Soon” alert.
  • Database tools are also marked as “Coming Soon”.
  • The connection is per-project. Each project links to one repository.
If you run into permission errors, try unlinking and reconnecting your GitHub account.

​
Next Steps

Deploy App

Learn how to ship your app after exporting to GitHub.

Create Project

Start a new project to connect with GitHub.