Comment by matcha-video

Huggingface is just a git hosting service, like github. You can add up the sizes of all the files in the directory yourself