Merge branch 'jk/remote-pushremote-config-reading'
commitd52571d5c10efeb35ceeeb17f9b5e5f0ca1c3019
authorJunio C Hamano <gitster@pobox.com>
Fri, 14 Mar 2014 21:26:04 +0000 (14 14:26 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 14 Mar 2014 21:26:05 +0000 (14 14:26 -0700)
tree50756c4e80c3e6faae46333eb60dff8784df7b2c
parent3c83b080e4dce42d0f48d28b03691ae1ac0dcde3
parent98b406f3ad6a6989a5b11c2a2582a9f539d66263
Merge branch 'jk/remote-pushremote-config-reading'

"git push" did not pay attention to branch.*.pushremote if it is
defined earlier than remote.pushdefault; the order of these two
variables in the configuration file should not matter, but it did by
mistake.

* jk/remote-pushremote-config-reading:
  remote: handle pushremote config in any order
remote.c
t/t5516-fetch-push.sh