Fix git-revert