chiark / gitweb /
Call git-rerere after a failing merge as git-merge does