What is the process to revert a commit that has already has been pushed and made public? 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: git how to undo a pushed commit

git revert <commit_hash>

Example 4: how to revert last pushed commit

To reset a brancj to some good commit:

In the server, move the cursor back to the last known good commit:

git push -f origin <last_known_good_commit>:<branch_name>

Locally, do the same:

git reset --hard <last_known_good_commit>
#         ^^^^^^
#         optional