Open issues and pull requests in Gitpod.
How it works
Gitpod is a one-click online IDE for GitHub. It can be started on any GitHub URL by prefixing it with
gitpod.io#. Gitpod Bot does two things:
- generate Gitpod links for pull requests and add them to the description,
- prebuild workspaces for branches and pull requests.
To install the app, make sure you are logged in to Gitpod beforehand.
After installing the app, configure it using the
.gitpod.yml in the default branch:
github: prebuilds: # enable for the master/default branch (defaults to true) master: true # enable for all branches in this repo (defaults to false) branches: true # enable for pull requests coming from this repo (defaults to true) pullRequests: true # enable for pull requests coming from forks (defaults to false) pullRequestsFromForks: true # add a "Review in Gitpod" button as a comment to pull requests (defaults to true) addComment: true # add a "Review in Gitpod" button to pull requests (defaults to false) addBadge: false # add a label once the prebuild is ready to pull requests (defaults to false) addLabel: prebuilt-in-gitpod
You can find more information at https://docs.gitpod.io