diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index 2aca111..a92ae75 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -27,6 +27,15 @@
     },
     // Configure tool-specific properties.
     "customizations": {
+        "codespaces": {
+            "repositories": {
+                "opensafely/server-instructions": {
+                    "permissions": {
+                        "contents": "read"
+                    }
+                }
+            }
+        },
         "vscode": {
             "extensions": [
                 "ms-python.python",
@@ -38,7 +47,9 @@
                 "files.autoSave": "afterDelay",
                 "files.autoSaveDelay": 1000,
                 "git.autofetch": true,
-                "python.analysis.extraPaths": [".devcontainer/ehrql-main/"],
+                "python.analysis.extraPaths": [
+                    ".devcontainer/ehrql-main/"
+                ],
                 "python.defaultInterpreterPath": "/opt/venv/bin/python",
                 "python.terminal.activateEnvInCurrentTerminal": true,
                 "python.terminal.activateEnvironment": true,
@@ -51,4 +62,4 @@
     "remoteEnv": {
         "MAX_WORKERS": "2"
     }
-}
+}
\ No newline at end of file