Re: Bug in merge-ort (rename detection can have collisions?)
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jun 10, 2022, 16:53 UTC
- Message-ID
- <xmqqczfgfojb.fsf@gitster.g>
- In-Reply-To
- <CABPp-BEW2WF5AJeKqCiL2zhcPwPH-u6p=myoX_GkU6tbV=+TZA@mail.gmail.com>
Elijah Newren <newren@gmail.com> writes:
Show 16 quoted lines
> On Tue, Jun 7, 2022 at 5:11 PM Glen Choo <chooglen@google.com> wrote: >> >> (I'm not 100% what the bug _is_, only that there is one.) >> >> = Report >> >> At $DAYJOB, there was a report that "git merge" was failing on certain >> branches. Fortunately, the repo is publicly accessible, so I can share >> the full reproduction recipe: >> ... > Thanks for the detailed report; very cool. Interestingly, if you > reverse the direction of the merge (checkout origin/upstream-master > and merge origin/master) then you get a different error: > ... > Anyway, long story short...I don't have a fix yet, but just thought > I'd mention I saw the email and spent some hours digging in.
Thanks for continued support for the ort strategy. From the very beginning, I was hesitant to make our tools try to be too clever with excessive heuristics, but at least we are not making a silent mismerge in this case, so it is probably OK, especially with "-s recursive" still left as an escape hatch.