diff options
| author | Junio C Hamano <gitster@pobox.com> | 2018-08-17 23:09:55 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-08-17 23:09:55 +0300 |
| commit | 72c11b7e62c02d18a51f0bbaa2154ecebf8c74f0 (patch) | |
| tree | 3ae354187efd31883707de12020f700e2d128c9e /Documentation | |
| parent | 60858f343aa909305c28790c7684bf88905695a2 (diff) | |
| parent | 60650a48c0b24ecf64468426ec13b88c07069b28 (diff) | |
Merge branch 'jt/refspec-dwim-precedence-fix'
"git fetch $there refs/heads/s" ought to fetch the tip of the
branch 's', but when "refs/heads/refs/heads/s", i.e. a branch whose
name is "refs/heads/s" exists at the same time, fetched that one
instead by mistake. This has been corrected to honor the usual
disambiguation rules for abbreviated refnames.
* jt/refspec-dwim-precedence-fix:
remote: make refspec follow the same disambiguation rule as local refs
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions