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