If the commit has already been pushed and the changes need to be applied to the remote source (aka origin): the origin implies the remote branch of the current local one you are on
git push origin --force-with-lease #this will OVERWRITE the GIT history only if no one else has pushed something before you
git branch -d the_local_branch