diff options
author | Junio C Hamano <gitster@pobox.com> | 2014-03-18 14:04:16 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2014-03-18 14:04:16 -0700 |
commit | 4097a25429d09b61616845fbe6551587a30fa038 (patch) | |
tree | 794750558aeafd79dcc29b230992d2d37a1d9d62 /Documentation/git-diff.txt | |
parent | Merge branch 'jk/commit-dates-parsing-fix' into maint (diff) | |
parent | remote: handle pushremote config in any order (diff) | |
download | tgif-4097a25429d09b61616845fbe6551587a30fa038.tar.xz |
Merge branch 'jk/remote-pushremote-config-reading' into maint
"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/git-diff.txt')
0 files changed, 0 insertions, 0 deletions