RelNoteson commit Make --no-thin the default in git-push to save server resources (a4503a1)
   1Documentation/RelNotes-1.5.3.1.txt