Zulip Chat Archive
Stream: lean4
Topic: Optimize repo with Git-lfs
Anders Christiansen Sørby (Dec 23 2022 at 16:59):
I suggest using git-lfs on stage0 to reduce the download size of the repo.
https://github.com/leanprover/lean4/issues/1991
Last updated: May 02 2025 at 03:31 UTC