git-revert: make --edit default.