git 사용해서 branch를 관리하다보면 remote branch를 삭제해야 하는 경우가 있다. 다음과 같이 push를 활용해 삭제 가능하다.

$ git push origin :

예를 든다면...

$ git push origin :develop To git@github.com:javajigi/develop.git - [deleted] develop

git 1.7 이후에는 다음과 같이 삭제할 수 있다.

$ git push origin --delete