Config Gitpod's prebuilds [ci skip]

This commit is contained in:
Mac Siri 2019-04-25 08:35:38 -04:00 committed by GitHub
parent 05b7208871
commit 4b5622f47b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -33,8 +33,10 @@ github:
# 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
addComment: false
# 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
addLabel: false
# add a check to pull requests (defaults to true)
addCheck: true