title: After filter-branch ing to remove file from git repo, file remains in pack file
body: <p>I have added and subsequently removed a binary file (path <code>"ACHThesis/preamble.fmt"</code>) from my git repository using the method as outlined in <a href="https://stackoverflow.com/questions/4444091/git-filter-branch-to-delete-large-file">Update a development team with rewritten Git repo history, removing big files</a> . As suggested by the gitbook I also ran </p>
  
  <pre><code>rm -Rf .git/refs/original
  rm -Rf .git/logs/
  git gc
  </code></pre>
  
  <p>Indeed, the large file no longer appears to be referenced by any commits, as shown by </p>
  
  <pre><code>git log --pretty=oneline -- ACHThesis/preamble.fmt
  (no output)
  </code></pre>
  
  <p>However, when I look at the biggest file in the repository with </p>
  
  <pre><code>git verify-pack -v .git/objects/pack/pack-6136e671bba3772bdf40ba3306aa249d654
  0a117.idx | sort -k 3 -n | tail -1
  e4cf847b6815c9833d04f9a449286112718a3926 blob   6771554 2414394 6791333
  </code></pre>
  
  <p>and look at its identity</p>
  
  <pre><code>$ git rev-list --objects --all | grep e4cf
  e4cf847b6815c9833d04f9a449286112718a3926 ACHThesis/preamble.fmt
  </code></pre>
  
  <p>the binary file is clearly still present. <strong>How can I remove it ?</strong> </p>
  
  <hr>
  
  <p>Questions I have looked at but which have not helped</p>
  
  <ul>
  <li><a href="https://stackoverflow.com/questions/10656794/why-do-large-files-still-exist-in-my-packfile-after-scrubbing-them-with-filter">Why do large files still exist in my packfile, after scrubbing them with filter-branch?</a></li>
  <li><a href="https://stackoverflow.com/questions/3797907/howto-remove-unused-objects-from-a-git-repsitory">How to remove unused objects from a git repository?</a></li>
  </ul>