From bc46c683ad671df76b08ec294d27d59c26d30f56 Mon Sep 17 00:00:00 2001 From: Mrugesh Mohapatra <1884376+raisedadead@users.noreply.github.com> Date: Thu, 22 Apr 2021 19:54:15 +0530 Subject: [PATCH] fix(GitPod): add PR comments back to config GitPod says they have rolled out a fix - trying it out. Will revert if this doesn't work --- .gitpod.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.gitpod.yml b/.gitpod.yml index ae4297f63c..29a3f10b2b 100644 --- a/.gitpod.yml +++ b/.gitpod.yml @@ -73,11 +73,11 @@ github: # add a check to pull requests (defaults to true) addCheck: false # add a "Review in Gitpod" button as a comment to pull requests (defaults to false) - addComment: false + addComment: true # 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) - addLabel: ready-on-gitpod + addLabel: false vscode: extensions: