git commit amend pushed commit code example
Example: 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