From c2db4f45818f328b5bd1d6d52f05bbd76e02a582 Mon Sep 17 00:00:00 2001
From: Rich Trott <rtrott@gmail.com>
Date: Wed, 13 Jul 2022 21:49:31 -0700
Subject: [PATCH] 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>
---
 .gitpod.yml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.gitpod.yml b/.gitpod.yml
index 73e52c3aa2d51a..e01e98fab5a1c6 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