What should remotes/origin/HEAD set to?
问题 If the developers are working on develop branch, for a new project 1) Clone git clone <git_url> should be able to automatically clone develop branch locally without using -b option, so that $ git branch -a # after clone should give * develop remotes/origin/HEAD -> origin/develop remotes/origin/develop 2) Push When developer pushes local branch( develop ) changes to remote repository( origin/develop ) using command git push origin develop , my understanding is, changes are pushed to origin