Remove gitpod PR checks and comments

gitpod-io · Oct 3, 2023 · 7446dad · 7446dad
1 parent b0b3f99
commit 7446dad
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.gitpod.yml b/.gitpod.yml
@@ -40,5 +40,3 @@ github:
     branches: true
     pullRequests: true
     pullRequestsFromForks: true
-    addCheck: true
-    addComment: true