Add Github Pull Request Extension

2023-08-17 14:12:12 +00:00 · 2023-08-17 14:12:12 +00:00 · abe004eb6a
commit abe004eb6a
parent 5cba006a54
1 changed files with 2 additions and 1 deletions
--- a/.devcontainer/demo/devcontainer.json
+++ b/.devcontainer/demo/devcontainer.json
@ -15,7 +15,8 @@
 				"actboy168.tasks",
 				"GitHub.copilot",
 				"ms-python.python",
-				"eamodio.gitlens"
+				"eamodio.gitlens",
+				"GitHub.vscode-pull-request-github"
 			]
 		}
 	},