Don't add "Review in Gitpod" button to PR descriptions

(cherry picked from commit 8b379e9)
dropwizard · Jun 3, 2022 · fd8f55b · fd8f55b
1 parent 75baedc
commit fd8f55b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.gitpod.yml b/.gitpod.yml
@@ -135,4 +135,4 @@ github:
     # add a "Review in Gitpod" button as a comment to pull requests
     addComment: true
     # add a "Review in Gitpod" button to the pull request's description
-    addBadge: true
+    addBadge: false