git delete a pushed commit code example

Example 1: how to undo a commit from remote

git reset --hard HEAD~3
git push -f

Example 2: remove last commit from remote

git reset HEAD^ # remove commit locally
git push origin +HEAD # force-push the new HEAD commit