[git] How to revert a merge commit that's already pushed to remote branch?