Completely remove a file from whole git repository
问题 Using git for a project, I accidentally added to a commit a big .zip file. I didn't notice until I started uploading it to github. When I noticed, I hit ctrl-c , git remove , git commit and uploaded it again (now with the file untracked). I know that this wasn't the right choice to do, because once I committed the .zip , it stays in the repo until I revert the commit, but sadly I didn't. Now, when someone tries to download from the repo, it takes a lot of time to do it, sometimes yields git