chiark / gitweb /
git-debrebase: merge: Introduce new merge_failed sub