git undo after I have pushed code example
Example 1: 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 2: git how to undo a pushed commit
git revert <commit_hash>