From 1acabf99940dc6c1d002e44f37a3881fbc65808f Mon Sep 17 00:00:00 2001
From: "philips-software-forest-releaser[bot]"
 <80338643+philips-software-forest-releaser[bot]@users.noreply.github.com>
Date: Sun, 12 Jul 2026 03:45:45 +0000
Subject: [PATCH] Update github.vscode-pull-request-github in devcontainer.json

---
 .devcontainer/docs/devcontainer.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.devcontainer/docs/devcontainer.json b/.devcontainer/docs/devcontainer.json
index 5a7ca3ab..e4a7316e 100644
--- a/.devcontainer/docs/devcontainer.json
+++ b/.devcontainer/docs/devcontainer.json
@@ -19,7 +19,7 @@
       "extensions": [
         "github.copilot@1.388.0",
         "github.vscode-github-actions@0.32.1",
-        "github.vscode-pull-request-github@0.152.0",
+        "github.vscode-pull-request-github@0.156.0",
         "jetmartin.bats@0.1.10",
         "kherring.bats-test-runner@0.1.3",
         "mhutchie.git-graph@1.30.0",