title: How to get deleted files back with git pull?
body: <p>I had up to date repository. Then I had deleted several files and this was mistake. I would like to get fresh repository back. I do</p>
  
  <pre><code>$ git pull origin master
  </code></pre>
  
  <p>And expect to get everything from server, but getting message that everything is up to date.</p>
  
  <p>How to get my sources from server using <code>git pull</code> then?</p>