t / t5100 / patch0007on commit Make --no-thin the default in git-push to save server resources (a4503a1)
   1