Add github extension

koyumi0601 · Mar 9, 2022 · 00d3b4f · 00d3b4f
1 parent 45120c8
commit 00d3b4f
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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": [