Nope, the git repository is very small and does indeed take up only 347 megabytes for all of those versions. Git is amazing.