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.

thanks, Matthew

Answers


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

Need Your Help

Threading issues using Ping to map active IPs - C#

c# .net multithreading backgroundworker ping

I am trying to create a simple Network Tool to ping all possible IPs on your local subnet and provide a list of such IPs in a DataGridView. I am new to having to consider threading which is a good...

Backpropagation training stuck

javascript neural-network backpropagation

I am trying to implement a neural network in Javascript and the specifications of my project would prefer the implementation to have separate objects for each node and layer. I am rather new at

About UNIX Resources Network

Original, collect and organize Developers related documents, information and materials, contains jQuery, Html, CSS, MySQL, .NET, ASP.NET, SQL, objective-c, iPhone, Ruby on Rails, C, SQL Server, Ruby, Arrays, Regex, ASP.NET MVC, WPF, XML, Ajax, DataBase, and so on.