chore(devcontainer): add github-pr extension

wuwentao · May 14, 2024 · a9ac38e · a9ac38e
1 parent a3b8efa
commit a9ac38e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -17,7 +17,8 @@
 				"ms-python.python",
 				"ryanluker.vscode-coverage-gutters",
 				"ms-python.vscode-pylance",
-				"github.vscode-github-actions"
+				"github.vscode-github-actions",
+				"GitHub.vscode-pull-request-github"
 			],
 			"settings": {
 				"files.eol": "\n",