delete commit after push code example

Example 1: remove last commit from remote

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

Example 2: delete a pushed commit

$git log --pretty=oneline --abbrev-commit