title: Git terminology: Difference between tip and HEAD?
body: <p>What is the difference between the Git <code>HEAD</code> and <code>tip</code>?</p>
  
  <p>Sorry if this has been asked somewhere else.. haven't seen any other questions on this.</p>