From 82ba1c41c6a7699bcb01f80098203551e536b91c Mon Sep 17 00:00:00 2001
From: Mathew Payne <2772944+GeekMasher@users.noreply.github.com>
Date: Wed, 22 May 2024 16:40:48 +0100
Subject: [PATCH] feat: Create devcontainer.json

For our friends in VSCode and Codespaces
---
 .devcontainer/devcontainer.json | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 .devcontainer/devcontainer.json

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
new file mode 100644
index 00000000..25176caf
--- /dev/null
+++ b/.devcontainer/devcontainer.json
@@ -0,0 +1,15 @@
+{
+    "name": "CodeQL-Community-Packs",
+    "extensions": [
+        "github.vscode-codeql",
+        "github.copilot"
+    ],
+    "settings": {
+        "codeQL.runningQueries.autoSave": true,
+        "codeQL.runningQueries.numberOfThreads": 4,
+        "codeQL.runningQueries.debug": true,
+        "editor.formatOnSave": true
+    },
+    "postCreateCommand": "git submodule init && git submodule update --recursive",
+    "remoteUser": "root"
+}