-1
.devcontainer/devcontainer.json
-1
.devcontainer/devcontainer.json
+2
-1
AGENTS.md
+2
-1
AGENTS.md
···
1
1
# Agent Notes
2
2
3
3
- Relocated the project Dockerfile into `.devcontainer/Dockerfile` so GitHub Codespaces can pick it up automatically.
4
-
- Added `.devcontainer/devcontainer.json` pointing to the Dockerfile, sets remote user `app`, and recommends VS Code extensions.
4
+
- Added `.devcontainer/devcontainer.json` pointing to the Dockerfile, sets remote user `app`, and recommends necessary VS Code extensions.
5
+
- Dropped the Rust Analyzer recommendation per project requirements; keep the list lean to essentials.
5
6
- Remember to mirror any environment dependency updates in both the Dockerfile and devcontainer definition.