Make --no-thin the default in git-push to save server resources