Merge branch 'jk/maint-push-config' into maint
commit8d324bf89057a28fda08cc4c8d37ce98a79cf9be
authorJunio C Hamano <gitster@pobox.com>
Mon, 16 Nov 2009 07:07:17 +0000 (15 23:07 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 16 Nov 2009 07:07:17 +0000 (15 23:07 -0800)
tree8bedcf2b479cf05f5f203bbb9183d0af7be40a6b
parent061c4d0829df96d00d3972748d4325631e5fb432
parent2aae905f23f79f004625346d057e5be7a81dbcd4
Merge branch 'jk/maint-push-config' into maint

* jk/maint-push-config:
  push: always load default config
builtin-push.c