2014-11-14
Remove an accidentally pushed remote git commit
git checkout <branch name>
git checkout <commit sha>
git push -f -n # Do a dry run
git push -f # Do the damn thing
2014-11-14
git checkout <branch name>
git checkout <commit sha>
git push -f -n # Do a dry run
git push -f # Do the damn thing