From 4384351c4cf3f01c678d77cb62367e79f6be0a7f Mon Sep 17 00:00:00 2001 From: Onur Cinar Date: Tue, 20 Jun 2023 10:37:30 -0700 Subject: [PATCH] Added GitHub pull requests extension. (#77) --- .devcontainer/devcontainer.json | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 9915386..5619323 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -20,7 +20,10 @@ "settings": { "go.lintTool": "revive", "go.lintOnSave": "package" - } + }, + "extensions": [ + "github.vscode-pull-request-github" + ] } }