title: Git pull says 'everything is up to date'
body: <p>I am working on a project with a few friends, and we are uploading everything to git.
  At first everything worked good, but at my local repository i deleted some files, online these files are still existing, so I tried </p>
  
  <pre><code>git pull
  </code></pre>
  
  <p>only, because i deleted that folders, they aren't coming back. Git says 'everything is up to date', but it isn't.
  Another stackoverflow-questioner had the same problem, and in a comment someone said he should use </p>
  
  <pre><code>git checkout HEAD
  </code></pre>
  
  <p>aand yes, there are the files i was looking for, but (I guess) that's just checking out, and they are not in my file system. How can i solve this problem?</p>
  
  <p>In general: I guess there must be a command that updates everything?</p>
  
  <p>Thanks!</p>