mirror of
https://github.com/git/git.git
synced 2026-04-09 00:10:10 +02:00
git-merge expects this check to be done appropriately by the merge strategy backends. In the case of merge-ours strategy, the resulting tree comes what we have in the index file, so it must match the current HEAD; otherwise it would not be "ours" merge. Signed-off-by: Junio C Hamano <junkio@cox.net>
356 B
Executable File
356 B
Executable File