Revision d52571d5c10efeb35ceeeb17f9b5e5f0ca1c3019 authored by Junio C Hamano on 14 March 2014, 21:26:04 UTC, committed by Junio C Hamano on 14 March 2014, 21:26:05 UTC
"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
Computing file changes ...