git delete local commit
git reset --hard origin/<branch_name>
remove the commit from local
git reset --soft HEAD~1
delete commit
git checkout master
git reset --hard e3f1e37
git push --force origin master
# Then to prove it (it won't print any diff)
git diff master..origin/master
revert unpublished commits
git reset --hard <hash-or-ref>
git discard all unpushed commits
# Remove ALL commits up to commit hash.
# NB: Make sure these commits have not been pushed.
git reset --hard <commit hash number>