A few commits ago I commited a big file by mistake and in a subsequent commit I removed the file.
I don't mind having it in the git history records, however I wanted to have it completely removed from the file system (.git/objects/...).
I tried some solutions from here and here. The file is deleted the git history, however, because it's a very big file it can easily be found in the git's objects folder.
Is it possible to delete the file from the git's objects folder too?