remove pushed commit github 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: 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

Example 4: git delete last commit in remote

1
$git rebase -i HEAD~2