chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3435324) | patch
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
tree5bafde8731a9f110f3fd96e943a16960e57ad278tree | snapshot
parent343532497ca085d0ed5a56982953cb4edcd151bccommit | diff
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 diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.