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: Dec 20 2023 at 11:08 UTC