From abe004eb6afe4772bcb53c7f169b9e53132b819d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Di=C3=B3genes=20Betat=20Roos?= Date: Thu, 17 Aug 2023 14:12:12 +0000 Subject: [PATCH] Add Github Pull Request Extension --- .devcontainer/demo/devcontainer.json | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.devcontainer/demo/devcontainer.json b/.devcontainer/demo/devcontainer.json index 1febd3cf5..26ecd86d3 100644 --- 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" ] } },