how to delete past local push in git code example

Example 1: delete a pushed commit

# delete the last commit
$git reset –hard HEAD~

Example 2: remove last commit from remote

git reset HEAD^ # remove commit locally
git push origin +HEAD # force-push the new HEAD commit