On Tue, Nov 23, 2010 at 4:23 PM, Javier Domingo <javier...@gmail.com> wrote: > I am desperated, I have been for a very huge amount of days trying to reduce > mi git repository size, and althought I thought I achieved my goal, there is > still a very large file lost in git's history. > The repository is https://github.com/txomon/Universidad.git and the file is > b267bd15488803aea1ac2059957fe19b883ded4f blob 127926272 34539594 3177660 > --> 2/ElectronicaDigital/practica4/isimwavedata.xwv > > I am desperated, I wouldn't write this message if i could do it my self. If > someone can help me, I would be very happy. Github has any method to erase > files from repository¿?
I think the command you want is "git filter-branch --tree-filter" followed by "git push origin +master" (don't forget the +) Avery -- You received this message because you are subscribed to the Google Groups "GitHub" group. To post to this group, send email to git...@googlegroups.com. To unsubscribe from this group, send email to github+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/github?hl=en.
