Alternative: Revert the full commit

git push -f origin e4f1180e73d8:master