Merge branch 'jk/maint-push-config'
authorJunio C Hamano <gitster@pobox.com>
Tue, 10 Nov 2009 20:31:42 +0000 (12:31 -0800)
committerJunio C Hamano <gitster@pobox.com>
Tue, 10 Nov 2009 20:31:42 +0000 (12:31 -0800)
commit7b2ac7ee9ec19b8f9302a776b7274faee66e9b64
treef6a567c0c0d5e89aceb8d223d39172eabd937bb4
parentaf526de90ca1ae1baf039f161cf9597d3ef379d4
parent2aae905f23f79f004625346d057e5be7a81dbcd4
Merge branch 'jk/maint-push-config'

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