title: git clone fetches HEAD but git pull does not fetch the latest HEAD after Merge Push operation on a Gerrit Repo
body: <p>I have a Git Repository and Gerrit review runs on top of this. I have Push/ Push Merge Commit privileges on this repo (which means I can bypass a Gerrit Review and merge code directly as if Gerrit did not exist).</p>
  
  <p>As a part of routine activity, I <code>merged</code> a completed topic(passed and approved in Gerrit) into my master</p>
  
  <p><code>git merge master-b734912</code></p>
  
  <p><code>Updating 08f272e..d265243</code> <em>This step means my local/master <code>HEAD</code> on SHA-1 <code>08f272e</code> fast-forwarded to <code>d265243</code> which is as expected</em></p>
  
  <p><code>Fast-forward</code></p>
  
  <p>followed by a <code>push</code> to sync up my local with remote</p>
  
  <p><code>git push gerrit:projectname master</code> <em>The 'gerrit:' alias is defined in ssh config in my user profile</em></p>
  
  <p>I pull back from remote/master to ensure everything is in sync</p>
  
  <p><code>git pull gerrit:projectname master</code> on which I get </p>
  
  <p><code>From gerrit:crs2awips
   * branch            master     -&gt; FETCH_HEAD
  Already up-to-date.</code></p>
  
  <p>However <code>git log --graph --oneline master</code> shows the updated tree with the new commit as expected</p>
  
  <pre><code>* d265243 git commit message 2
  *   08f272e git commit message 1 
  </code></pre>
  
  <p>Whereas <code>git log --graph --oneline origin/master</code> still shows the last commit before merge.</p>
  
  <pre><code>*   08f272e git commit message 1'
  </code></pre>
  
  <p><strong>What is even more surprising is that Gerrit Review Web UI shows remote having the commit as updated.</strong></p>
  
  <p><strong>Additionally, cloning the repository now will have a <code>master</code> branch with commit-id as expected.</strong></p>
  
  <p>From the above I conclude...somehow locally <code>HEAD</code> is not updated after <code>git pull</code> and throws it out of sync after every push.</p>
  
  <p>It is kind of inconvenient to clone a fresh repo each time after a <code>PUSH</code> has been done.</p>
  
  <p>Any advice.</p>
  
  <p>Recently I also raised <a href="https://stackoverflow.com/questions/17557815/git-via-gerrit-local-master-out-of-sync-with-origin-master">this</a> issue. I believe that issue has some connection to this one.</p>