chiark / gitweb /
git-debrebase: merge: Remove a redundant check