From 7270365cf54490507257a40efcda67eb531dfd2d Mon Sep 17 00:00:00 2001
From: Robin van der Linde <robin.vanderlinde@gmail.com>
Date: Wed, 6 Jul 2022 09:09:05 +0000
Subject: [PATCH] Add Github extension

---
 .gitpod.yml             | 3 ++-
 .vscode/extensions.json | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/.gitpod.yml b/.gitpod.yml
index 2c97255271..d533685290 100644
--- a/.gitpod.yml
+++ b/.gitpod.yml
@@ -10,4 +10,5 @@ ports:
 vscode:
   extensions:
     - "esbenp.prettier-vscode"
-    - "eamodio.gitlens"
\ No newline at end of file
+    - "eamodio.gitlens",
+    - "GitHub.vscode-pull-request-github"
\ No newline at end of file
diff --git a/.vscode/extensions.json b/.vscode/extensions.json
index ba4f9b1b8b..68d524f214 100644
--- a/.vscode/extensions.json
+++ b/.vscode/extensions.json
@@ -1,6 +1,7 @@
 {
     "recommendations": [
         "esbenp.prettier-vscode",
-        "eamodio.gitlens"
+        "eamodio.gitlens",
+        "GitHub.vscode-pull-request-github"
     ]
 }
\ No newline at end of file