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

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

답글 남기기

이메일 주소는 공개되지 않습니다. 필수 필드는 *로 표시됩니다