completely remove deleted file from being pushed to master in a git repo
I has downloaded a large avi file. I had downloaded it to a git repo on my local system by mistake. after doing some commits I realized the file was in there and deleted the file not thinking about what would happen later when I pushed to my master on the server. Needless to say the git repo wants to push the "deleted" file that has been versioned to the server.
I can't seem to remember the name of the file. All I know is that it has a .avi extension. What I would like is some suggestion as to how I would track down the file in the git repo and how I could remove it from being pushed to master.
did a little more searching around and found that if you run this command it should search for all deleted files and rm them.
git ls-files --deleted | xargs git rm