https://blog.dasomoli.org/603/
[git] origin/HEAD 를 바꾸고 싶을 때?