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

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

답글 남기기

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