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

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

댓글 남기기

이메일은 공개되지 않습니다. 필수 입력창은 * 로 표시되어 있습니다

이 사이트는 스팸을 줄이는 아키스밋을 사용합니다. 댓글이 어떻게 처리되는지 알아보십시오.