From fd8f55b9b67f1f1bc8a925117c8110292f7f077a Mon Sep 17 00:00:00 2001
From: Jochen Schalanda <jochen@schalanda.name>
Date: Fri, 3 Jun 2022 10:57:13 +0200
Subject: [PATCH] Don't add "Review in Gitpod" button to PR descriptions

(cherry picked from commit 8b379e9c96d008d6692b85d3818f092e11864484)
---
 .gitpod.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitpod.yml b/.gitpod.yml
index 553e6a2e90..6db6e66d9e 100644
--- 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