From 4b5622f47bfff9a37baf75e37c6532ab8e5e7640 Mon Sep 17 00:00:00 2001
From: Mac Siri <krairit.siri@gmail.com>
Date: Thu, 25 Apr 2019 08:35:38 -0400
Subject: [PATCH] Config Gitpod's prebuilds [ci skip]

---
 .gitpod.yml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.gitpod.yml b/.gitpod.yml
index f469a0903..03c77f77a 100644
--- a/.gitpod.yml
+++ b/.gitpod.yml
@@ -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