When I look at the sizes of everything in my arduino-source file, it looks like this:
4.0K .classpath
4.0K .gitignore
4.0K .project
4.0K readme.txt
12K todo.txt
40K license.txt
1.3M libraries
1.4M hardware
3.5M core
13M app
85M build
980M .git
1.1G .
So. There's less than 15MB of source code, including all the images required. Okay, that's great. There's 85MB of built stuff. Okay, I know executables take up a bit of space. But then I look at the biggest part -- 980 MB just for the .git folder? That's just crazy. When I download the arduino source to patch it, I don't need 7 years' worth of history to come along with it, especially since it is by far the biggest file in my /home directory.
I'm not sure how to do it (perhaps start a new repo and only include things <1 year old), but that .git directory needs to shrink.