mirror of
https://github.com/git/git.git
synced 2025-12-23 12:14:22 +01:00
When the trivial "read-tree" merge fails, fall back on the (equally trivial) automatic merge script instead of forcing the user to do it by hand. When _that_ fails, you get to do a manual merge.
1.7 KiB
Executable File
1.7 KiB
Executable File