title: A file doesn't exist but git thinks it does
body: <p>How come?</p>
  
  <pre><code>git push origin master
  ......
  remote: error: GH001: Large files detected.
  remote: error: Trace: fdsfdsfdsfds.....
  remote: error: See http://git.io/iEPt8g for more information.
  remote: error: File some_file.so is 125.70 MB; this exceeds GitHub's file size limit of 100.00 MB
   ! [remote rejected] master -&gt; master (pre-receive hook declined)
  error: failed to push some refs to ...
  </code></pre>
  
  <p>But </p>
  
  <pre><code>ls some_file.so
  ls: cannot access some_file.so: No such file or directory
  
  
  $ git rm --cached some_file.so
  fatal: pathspec 'some_file.so' did not match any files
  </code></pre>