Add old research proposal that wasn't posted

2025-07-27 00:21:34 +00:00 · 2024-11-14 06:30:25 +00:00
parent 87c3c4459b
commit 2dcfc6b14a
9 changed files with 916 additions and 215 deletions
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -13,9 +13,6 @@
      ]
    }
  },
-  "mounts": [
-    "source=${localEnv:USERPROFILE}\\.ssh,target=/root/.ssh,type=bind,consistency=cached"
-  ],
  "remoteEnv": {
    "GIT_SSH_COMMAND": "ssh -o StrictHostKeyChecking=no"
  }