t / t5100 / msg0006on commit Make --no-thin the default in git-push to save server resources (a4503a1)
   1Here is a patch from A U Thor.
   2