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

Question

git revert alone won\'t work. -m must be specified, and I\'m pretty confused about it.

Anyone experienced this before?<

Answer 1

To keep the log clean as nothing happened (with some downsides with this approach (due to push -f)):

git checkout 
git reset --hard 
git push -f origin HEAD:

'commit-hash-before-merge' comes from the log (git log) after merge.