title: Github, file too large already deleted.
body: <p>I had a file that I tried to add to my repo but is over the github limit. Unfortunately I deleted it but when I do a push it still tried add it.</p>
  
  <pre><code>rm dist/img/work.zip
  fatal: pathspec 'dist/img/work.zip' did not match any files
  </code></pre>
  
  <p>How do I get it out the repo?</p>