chiark / gitweb /
git-debrebase: merge: Use a fresh branch and check out again