chiark / gitweb /
git-debrebase: merge: New record-resolved-merge subcommand, WIP