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