Skip to content

chore(deps, cpp): update github.vscode-pull-request-github, sonarsource.sonarlint-vscode in devcontainer.json#1012

Merged
rjaegers merged 2 commits intomainfrom
feature/amp-devcontainer-cpp/update-vscode-extensions-devcontainer.json
Nov 18, 2025
Merged

chore(deps, cpp): update github.vscode-pull-request-github, sonarsource.sonarlint-vscode in devcontainer.json#1012
rjaegers merged 2 commits intomainfrom
feature/amp-devcontainer-cpp/update-vscode-extensions-devcontainer.json