chore: cleanup .gitignore files (#20795)

kim-em · kim-em · commit 94099b4e3e03 · 2025-01-16T12:40:25.000Z
diff --git a/.gitignore b/.gitignore
@@ -1,11 +1,6 @@
 # macOS leaves these files everywhere:
 .DS_Store
 # Created by `lake exe cache get` if no home directory is available
-/.cache
-# Prior to v4.3.0-rc2 lake stored files in these locations.
-# We'll leave them in the `.gitignore` for a while for users switching between toolchains.
-/build/
-/lake-packages/
-/lakefile.olean
-# After v4.3.0-rc2 lake stores its files here:
-/.lake/
+.cache
+# `lake` stores its files here:
+.lake
diff --git a/DownstreamTest/.gitignore b/DownstreamTest/.gitignore
@@ -1,3 +1,3 @@
-/.lake
+.lake
 lean-toolchain
 lake-manifest.json

-Original file line number
+Diff line change
@@ @@ -1,3 +1,3 @@ @@
 -/.lake
 +.lake
 lean-toolchain
 lake-manifest.json