From df53ab845f8e0bc25ad95a79bf228e0827bef6b6 Mon Sep 17 00:00:00 2001 From: Pino de Candia <32303022+pinodeca@users.noreply.github.com> Date: Sun, 29 Mar 2026 23:05:13 +0000 Subject: [PATCH] Add Codespaces read permission for duroxide-pg-opt submodule --- .devcontainer/devcontainer.json | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 1c08a058..9fa8abd0 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -19,6 +19,15 @@ "rust-analyzer.check.command": "clippy", "rust-analyzer.check.extraArgs": ["--features", "pg17"] } + }, + "codespaces": { + "repositories": { + "microsoft/duroxide-pg-opt": { + "permissions": { + "contents": "read" + } + } + } } },