title: Dumping binaries in Git and reverting?
body: <p>Assume that I add a 1 GB movie in a git repository commit and push. Next I revert the commit that I just pushed and push that. Now latest head no longer contains the 1 GB file.</p>
  
  <p>Even though I just reverted the commit is it correct that the 1 GB file is now permanently part of the git history? Meaning that even though I am working on the latest head without the 1 GB file the repo is still 1 GB larger and will remain that forever?</p>