undo last commit pushed

git reset --hard HEAD@{1}
git push -fgit reset # commitId
# Exemple
git reset 5310517To 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