chore: add dev/ to .gitignore for dev branch worktrees

ErikBjare · ErikBjare · commit c19893b39dbe · 2025-03-29T12:49:56.000+01:00
diff --git a/.gitignore b/.gitignore
@@ -12,6 +12,9 @@ eval[_-]results*
 eval-results*
 eval_results*
 
+# git worktrees for dev/ branches
+dev/
+
 # logs
 *.log
 *logs/
