[git] origin/HEAD 를 바꾸고 싶을 때? 2016년 3월 23일2016년 3월 23일 다솜돌이 Utility Tips! clone 해온 remote 브랜치의 HEAD를 변경하고 싶을 때, 예를 들면, remote 브랜치 일부만 남기고 싶을 때, HEAD가 지울 브랜치를 가리킬 경우, 다음과 같이 하여 remote의 HEAD(즉, origin/HEAD)를 바꿀 수 있다. git remote set-head origin <remote branch name>