From 70d162e589e36855e967d58a77343b911c4faba7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Oliver=20Bra=C4=8Devac?= Date: Sun, 26 Oct 2025 15:12:32 +0100 Subject: [PATCH] Refine .gitignore rule for local folder Previously, every subfolder named `local` would be excluded from git tracking. This can be a footgun, e.g., I had some leftover junk files in `library/src/local` that went unnoticed for a long time and caused inexplicable behavior in sbt tasks. Now, exclude only the top-level `local`. --- .gitignore | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index 186984f1f390..8439d7308f6c 100644 --- a/.gitignore +++ b/.gitignore @@ -61,7 +61,7 @@ testlogs/ /.cache-tests # Put local stuff here -local/ +/local/ /bin/.cp