chore: add lake-manifest.json to .gitignore

zdb999 · Nov 1, 2023 · 5719bd8 · 5719bd8
1 parent d3ce3e8
commit 5719bd8
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,8 @@
 /build
 /prelude/build
 lakefile.olean
+# Note: because std has no dependencies, the lake-manifest contains no information
+# that is not regenerated automatically by lake, so this avoids conflicts when
+# lake decides to upgrade its manifest version.
+# We may revisit this if lake decides to store more useful information in the manifest.
+lake-manifest.json