git how to revert a commit after push code example
Example 1: revert last push to server
git reset --hard HEAD@{1}
git push -f
Example 2: git remove commits from branch after push
git reset --hard <last_working_commit_id>
So we must not reset to the commit_id that we don't want.
Then sure, we must push to remote branch:
git push --force
Example 3: git undo pushed commit
git reset <previous label or sha1>
git commit -am "commit message"
git push -f <remote-name> <branch-name>
Example 4: undo git commit after push
git reset <hash> # Run this then merge, commit, and push