Open jeffi opened 1 year ago
Describe the bug Git clone requires a lot of time and disk space due to two binary files accidentally checked in a while back.
Proposed solution: force push.
To Reproduce Steps to reproduce the behavior:
git clone
du -h
Expected behavior Smaller disk usage.
Per Nikhil, requires fixing ALL branches.
git clone currently requires 87 MiB. Seems like the files are still in the repo history somewhere.
Describe the bug Git clone requires a lot of time and disk space due to two binary files accidentally checked in a while back.
Proposed solution: force push.
To Reproduce Steps to reproduce the behavior:
git clone
du -h
Expected behavior Smaller disk usage.