Git history contains very large files
Cloning the repo requires a download of ~800mb, whereas the actual codebase is significantly smaller.
I could trace down the by far largest file under instrument/.git/objects/pack/pack-8e6a617ad8ed95a59c76dead81870bed11b82250.pack
, which is indeed 750mb large.
I assume that at some point a large file was added to the repo and then later removed, but it's still in the history.
There seem to be ways to fix that, though it of course requires re-writing history: https://stackoverflow.com/questions/11050265/remove-large-pack-file-created-by-git