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 /contrib/git-shell-commands | |
| parent | 8aac6c97e81dee53ae7740663128b0296398d6d1 (diff) | |
| parent | 98b406f3ad6a6989a5b11c2a2582a9f539d66263 (diff) | |
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 'contrib/git-shell-commands')
0 files changed, 0 insertions, 0 deletions