Merge branch 'sp/maint-no-thin' into maint
commit3d80017d0c948cca251a7aaa9fdc84a0664e95fe
authorJunio C Hamano <gitster@pobox.com>
Wed, 12 Sep 2007 20:07:06 +0000 (12 13:07 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 12 Sep 2007 20:07:06 +0000 (12 13:07 -0700)
tree4a2500866dbd17e0f3824d3553fd65af409563d5
parent6143fa2c9cc74023bab3279764cd6158b1227359
parenta4503a15af661ee865ed10102df15a6d3b43e60a
Merge branch 'sp/maint-no-thin' into maint

* sp/maint-no-thin:
  Make --no-thin the default in git-push to save server resources