From 18c7a520b3c34aea22b41c151374146ba3ab8670 Mon Sep 17 00:00:00 2001 From: Robin Kobus <19427718+Funatiq@users.noreply.github.com> Date: Mon, 20 Oct 2025 12:29:15 +0200 Subject: [PATCH] [None][feat] Update devcontainer configuration to include additional extensions (#8369) Signed-off-by: Robin Kobus <19427718+Funatiq@users.noreply.github.com> --- .devcontainer/devcontainer.json | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index f09c046ac9..1ef51733f1 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -36,9 +36,10 @@ // "ms-vscode.makefile-tools", // "ms-vscode.cmake-tools", // Git & Github - // "GitHub.vscode-pull-request-github" + "GitHub.vscode-pull-request-github", "eamodio.gitlens", // Docs + "davidanson.vscode-markdownlint", "ms-vscode.live-server" ], "settings": {