diff options
author | Junio C Hamano <gitster@pobox.com> | 2014-03-14 14:26:04 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2014-03-14 14:26:05 -0700 |
commit | d52571d5c10efeb35ceeeb17f9b5e5f0ca1c3019 (patch) | |
tree | 50756c4e80c3e6faae46333eb60dff8784df7b2c /Documentation | |
parent | Merge branch 'jk/commit-dates-parsing-fix' (diff) | |
parent | remote: handle pushremote config in any order (diff) | |
download | tgif-d52571d5c10efeb35ceeeb17f9b5e5f0ca1c3019.tar.xz |
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
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions