This makes subsequent git clones from the dist-git machine much more IO effective and faster. It also saves disk space. It cleans up all unnecessary files. The dist-git-gc script will run monthly.
