chore: fix gitignore to ignore all of dev/

osorensen · osorensen · commit 21e89fab85c9 · 2026-03-15T18:52:24.000+01:00
diff --git a/.gitignore b/.gitignore
@@ -7,4 +7,5 @@ parameter_trace
 *.tar.gz
 README.html
 _codeql_detected_source_root
-dev/agents.md
+dev/
+agents.md
