원격 git repository를 깔끔하게 관리하고 싶거나, 버전 충돌로 인하여 push가 되지 않는 경우가 있다.
그런 경우 유용한 명령어이다.
git push origin --delete 원격 브랜치 이름