Add extension 'GitHub Pull Requests and Issues'

jgm · Sep 1, 2023 · 0581dbd · 0581dbd
1 parent f317555
commit 0581dbd
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 0 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -30,6 +30,7 @@
         "[email protected]",
         "editorconfig.editorconfig",
         "exiasr.hadolint",
+        "GitHub.vscode-pull-request-github",
         "haskell.haskell",
         "mhutchie.git-graph",
         "ms-vscode.makefile-tools",

diff --git a/.devcontainer/ghc-9.2/devcontainer.json b/.devcontainer/ghc-9.2/devcontainer.json
@@ -31,6 +31,7 @@
         "[email protected]",
         "editorconfig.editorconfig",
         "exiasr.hadolint",
+        "GitHub.vscode-pull-request-github",
         "haskell.haskell",
         "mhutchie.git-graph",
         "ms-vscode.makefile-tools",

diff --git a/.devcontainer/ghc-9.4/devcontainer.json b/.devcontainer/ghc-9.4/devcontainer.json
@@ -30,6 +30,7 @@
         "[email protected]",
         "editorconfig.editorconfig",
         "exiasr.hadolint",
+        "GitHub.vscode-pull-request-github",
         "haskell.haskell",
         "mhutchie.git-graph",
         "ms-vscode.makefile-tools",

diff --git a/.devcontainer/ghc-9.6/devcontainer.json b/.devcontainer/ghc-9.6/devcontainer.json
@@ -30,6 +30,7 @@
         "[email protected]",
         "editorconfig.editorconfig",
         "exiasr.hadolint",
+        "GitHub.vscode-pull-request-github",
         "haskell.haskell",
         "mhutchie.git-graph",
         "ms-vscode.makefile-tools",