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)
* jk/maint-push-config:
  push: always load default config

1  2 
builtin-push.c

diff --cc builtin-push.c
Simple merge