title: HEAD doesn't point to the current branch?
body: <p>I wonder, is not <code>HEAD</code> is the current branch? As far as I'm concerned it is. But this shows that this is not the case:</p>
  
  <pre><code>$ git branch
  * develop
    master
  </code></pre>
  
  <p>So the current branch is develop. But HEAD is not:</p>
  
  <pre><code> $ git branch -r
    origin/HEAD -&gt; origin/master
    origin/develop
    origin/master
  </code></pre>