Code

Merge branch 'sp/maint-no-thin' into maint
authorJunio C Hamano <gitster@pobox.com>
Wed, 12 Sep 2007 20:07:06 +0000 (13:07 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 12 Sep 2007 20:07:06 +0000 (13:07 -0700)
* sp/maint-no-thin:
  Make --no-thin the default in git-push to save server resources


Trivial merge