From 00d3b4fe5ac4ef783d143dbe47253e18094cfaca Mon Sep 17 00:00:00 2001
From: max06 <max06.net@outlook.com>
Date: Sun, 6 Mar 2022 12:46:49 +0000
Subject: [PATCH] Add github extension
---
.devcontainer/devcontainer.json | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index bca80246..055d7e02 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -17,7 +17,9 @@
"settings": {},
// Add the IDs of extensions you want installed when the container is created.
- "extensions": [],
+ "extensions": [
+ "GitHub.vscode-pull-request-github"
+ ],
// Use 'forwardPorts' to make a list of ports inside the container available locally.
"forwardPorts": [
--
GitLab