completely remove deleted file from being pushed to master in a git repo -


i has downloaded large avi file. had downloaded git repo on local system mistake. after doing commits realized file in there , deleted file not thinking happen later when pushed master on server. needless git repo wants push "deleted" file has been versioned server.

i can't seem remember name of file. know has .avi extension. suggestion how track down file in git repo , how remove being pushed master.

thanks, matthew

did little more searching around , found if run command should search deleted files , rm them.

git ls-files --deleted | xargs git rm 

Comments

Popular posts from this blog

asp.net - repeatedly call AddImageUrl(url) to assemble pdf document -

java - Android recognize cell phone with keyboard or not? -

iphone - How would you achieve a LED Scrolling effect? -