개요

Github에 이미 push를 해버렸는데 commit이 의미 없어져 지워야 할일이 생겼다.
개인 repo라면 귀찮더라도 repo를 삭제하고 다시만들수도 있겠지만 이 또한 비효율적이고 수고스럽다.
따라서 이미 push한 commit을 다시 내 repo와 github repo에서 없앨 수 있는 방법을 찾아 본 뒤 공유해둔다.

코드

$ git reset 7f6d03 --hard
$ git push origin -f