[git] origin/HEAD 를 바꾸고 싶을 때?

clone 해온 remote 브랜치의 HEAD를 변경하고 싶을 때,

예를 들면, remote 브랜치 일부만 남기고 싶을 때, HEAD가 지울 브랜치를 가리킬 경우,

다음과 같이 하여 remote의 HEAD(즉, origin/HEAD)를 바꿀 수 있다.

git remote set-head origin <remote branch name>