git, branch 이름 바꾸기

* local

$ git branch -m old_name new_name

* remote 

$ git push origin -u new_name

$ git push origin --delete old_name

remote의 default branch는 local에서 삭제가 안된다.

github 사이트에 로그인 후 프로젝트의 settings에서 

default branch를 새로운 branch로 바꿔준 후에 삭제해야한다.