I accidentally committed a file to my git repo that was corrupt. The corruption happened when I was working on my laptop and the batteries died down. I didn't recognize at once that this ended up in a file which consisted of weird symbols only. However, I committed it to my repo.
Now I managed to revert to the previous non-corrupt version by using git revert HEAD^
and I have a non-corrupted version of the file. So far so good.
However, the log shows me that the corrupted file is still in the tree of my repo. My question now: Is this problematic, or can I forget about it? Is there a way to erase that corrupt commit/file out of the repo?