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: #43789 (comment) Refs: https://www.gitpod.io/docs/prebuilds#github-specific-configuration PR-URL: #43829 Reviewed-By: Richard Lau <rlau@redhat.com> Reviewed-By: Darshan Sen <raisinten@gmail.com>
nodejs · Jul 26, 2022 · c2db4f45818f328b5bd1d6d52f05bbd76e02a582 · c2db4f4
1 parent 2815bd3
commit c2db4f45818f328b5bd1d6d52f05bbd76e02a582
Showing 1 changed file with 4 additions and 2 deletions.
diff --git 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