What does the GitHub integration do?
SCM providers are connected to individual user accounts in Gitpod to allow Gitpod to:- Pull repository content into workspaces.
- Allow users to commit back to SCM from their workspaces.
Managing the GitHub integration
Adding the GitHub integration
- Navigate to your User Settings.
- Click “connect” on the GitHub integration and follow the steps.
Modifying permissions for the GitHub integration
Each integration has it’s own unique set of scopes (permissions) that the integration is authorized to perform.- Navigate to your User Settings.
- Click “edit permissions” on the GitHub integration and follow the steps.
Removing the GitHub integration
- Navigate to your User Settings.
- Click “disconnect” on the GitHub integration.
Configuring Prebuilds via .gitpod.yml
Defunct: Configuring Prebuilds and Prebuild filters using the
.gitpod.yml is no longer supported. For prebuild documentation, see Prebuilds.