How to undo (remove) the last commit?

Question

git

How to undo the last commit if it is pushed to the server?

Answer 1

In general, you can do without force push. Of course, this will not be a deletion, but it is safer to
git revert (it seems that git revert HEAD~1 should also work). And then just push.