diff options
| author | Rich Trott <rtrott@gmail.com> | 2022-07-14 07:49:31 +0300 |
|---|---|---|
| committer | Michaël Zasso <targos@protonmail.com> | 2022-07-31 17:57:15 +0300 |
| commit | 391e16235c9164c115b340836b06a6cbefa89e7a (patch) | |
| tree | fd9747fcfd97f35500c0461e4b094691f9664ce0 /.gitpod.yml | |
| parent | 97bda1fa57cc54d21094a917aa074c5c56069ae1 (diff) | |
build: make GitPod less noisy
Disable prebuilds for pull requests.
addComment now defaults to false so we don't need to set it anymore.
Refs: https://github.com/nodejs/node/pull/43789#issuecomment-1182875886
Refs: https://www.gitpod.io/docs/prebuilds#github-specific-configuration
PR-URL: https://github.com/nodejs/node/pull/43829
Reviewed-By: Richard Lau <rlau@redhat.com>
Reviewed-By: Darshan Sen <raisinten@gmail.com>
Diffstat (limited to '.gitpod.yml')
| -rw-r--r-- | .gitpod.yml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/.gitpod.yml b/.gitpod.yml index 73e52c3aa2d..e01e98fab5a 100644 --- a/.gitpod.yml +++ b/.gitpod.yml @@ -5,5 +5,7 @@ tasks: # Ref: https://www.gitpod.io/docs/prebuilds#github-specific-configuration github: prebuilds: - # add a "Review in Gitpod" button as a comment to pull requests (defaults to true) - addComment: false + # enable for pull requests coming from this repo (defaults to true) + pullRequests: false + # add a check to pull requests (defaults to true) + addCheck: false |