title: How to add missing origin/HEAD in git repo
body: <p>I have a working git repo. However, I miss the <code>remotes/origin/HEAD -&gt; origin/master</code> when typing <code>git branch -a</code>. Why is the HEAD missing and how can I add the missing HEAD to my repo?</p>