how to undo a commit after push code example

Example 1: revert last push to server

git reset --hard HEAD@{1}
git push -f

Example 2: git undo pushed commit

git reset <previous label or sha1>
git commit -am "commit message"
git push -f <remote-name> <branch-name>  //  git push -f origin master

Example 3: undo git commit after push

git reset <hash> # Run this then merge, commit, and push

Example 4: git how to undo a pushed commit

git revert <commit_hash>