git

This deletes the last commit for good (it’s gone jim)

source

git reset --hard HEAD^
git push origin -f