From 33389e352d1736a05ed11f0d1a8cdb4d2c8b9b80 Mon Sep 17 00:00:00 2001
From: Paul Melnikow <github@paulmelnikow.com>
Date: Tue, 3 Sep 2019 13:12:38 -0400
Subject: [PATCH] Tweak Gitpod config (#3934)

This disables the comments like https://github.com/badges/shields/pull/3933#issuecomment-526905743 which seem a bit chatty, as the review apps can be accessed from the checks.

This and also turns off builds for branches. For the most part we keep PRs open when branches are at a stage of being ready for useful review, so I think that should be sufficient for us.
---
 .gitpod.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitpod.yml b/.gitpod.yml
index 8f6fb6140d..f583f6fb7c 100644
--- a/.gitpod.yml
+++ b/.gitpod.yml
@@ -9,7 +9,7 @@ github:
     # enable for the master/default branch (defaults to true)
     master: true
     # enable for all branches in this repo (defaults to false)
-    branches: true
+    branches: false
     # enable for pull requests coming from this repo (defaults to true)
     pullRequests: true
     # enable for pull requests coming from forks (defaults to false)
@@ -17,7 +17,7 @@ github:
     # add a check to pull requests (defaults to true)
     addCheck: true
     # add a "Review in Gitpod" button as a comment to pull requests (defaults to false)
-    addComment: true
+    addComment: false
     # add a "Review in Gitpod" button to the pull request's description (defaults to false)
     addBadge: false
     # add a label once the prebuild is ready to pull requests (defaults to false)
-- 
GitLab