From 73d7fc4801f083656fee1afbca1b69fe24c37170 Mon Sep 17 00:00:00 2001 From: Nils Dijk Date: Wed, 5 Jul 2023 17:08:08 +0000 Subject: [PATCH] add github pullrequest extension --- .devcontainer/devcontainer.json | 1 + 1 file changed, 1 insertion(+) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 00e8ef6f4..4accf5dfa 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -9,6 +9,7 @@ "extensions": [ "ms-vscode.cpptools", "ms-vsliveshare.vsliveshare", + "github.vscode-pull-request-github", ], "mounts": [ "type=volume,target=/data",