remove specific commit from remote branch code example

Example: how to undo a commit from remote

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