reduce the size of the git repo