I have Git configurations for participants in a project that are designed to behave the same for me and for all collaborators. So that, for example, our branch names match and the branches track the same remote.
On my end I begin with a Git repo that contains my project and I execute (1)
git checkout -b dev
git remote add development <dev-repo uri>
git push --set-upstream development dev
to create and configure the branches and remote repos that we will use to collaborate. Then I simply instruct my collaborators to (2)
git clone -o development <dev-repo uri>
Everything works as expected. In particular, the local repos "look" pretty much identical (which aids communication) — except for one difference: the second configuration, (2), has an additional on branch the remote: development/HEAD
. What is this branch and where did it come from? Why is it not present in (1). Does its presence (or absence) have any effect?