[git] How does origin/HEAD get set?