How to revert last commit and remove it from history?

Question

I did a commit and reverted with

git revert HEAD^

just git log

➜  git:(master) git log
commit 45a0b1371e4705c4f875141232d7         


        

Answer 1

There is a nice solution here. To delete the last (top) commit you can do

git push [remote] +[bad_commit]^:[branch]

where [bad_commit] is the commit that [branch] currently points to, or if the [branch] is checked out locally, you can also do

git reset HEAD^ --hard
git push [remote] -f