chiark / gitweb /
git-debrebase: merge: Call merge_failed in merge_series
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 11 Aug 2018 17:56:18 +0000 (18:56 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 11 Aug 2018 19:11:09 +0000 (20:11 +0100)
commited6ced18970c0ecec79ab9697e45e07a6f7c2956
tree5bafde8731a9f110f3fd96e943a16960e57ad278
parent343532497ca085d0ed5a56982953cb4edcd151bc
git-debrebase: merge: Call merge_failed in merge_series

Introduce $attempt_cmd for this purpose.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
git-debrebase