I'mv getting 'no space left on device' even though it seems the entire workspace is only taking up 9.5GB (this is much less than the GitHub repo which should have 14GB)