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.
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?