title: git fetch, FETCH_HEAD and origin/master
body: <p>I'm very new to git and I'm having trouble with a simple <code>fetch</code> operation.</p>
  
  <p>I'm trying to fetch a coworker's progress from his repository. At first I did <code>git fetch HEAD</code> which prompted git to download about 350MB of data so I was sure it had done something.  However, <code>origin/master</code> ended up still pointing to the same old commit (actually it's under the name <code>dev</code> but I'll call it <code>master</code> - he doesn't have a <code>master</code>).</p>
  
  <p>After that I tried <code>git fetch origin master</code> but it didn't seem to do anything, it only updated <code>FETCH_HEAD</code>. I tagged the <code>FETCH_HEAD</code> commit so I wouldn't lose it, but I'd still like to have an updated remote branch.</p>
  
  <p>What was it that went wrong? I do not have access to the remote repository. Can I still fix it at home?</p>