I tried those, and nothing, i also did this http://stackoverflow.com/questions/2164581/remove-file-from-git-repository-history that I thought it would be the most aggresive and nothing...
On Nov 24, 12:55 pm, Paul Miller <[email protected]> wrote: > On Nov 23, 7:23 pm, Javier Domingo <[email protected]> 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. > > These are the commands I would use. I do not know how many are > superstitions and how many are truly helpful. I welcome comments on > it. > > git filter-branch --prune-empty --index-filter 'git update-index -- > remove problem/file/name' HEAD > git reflog expire --expire=now --all > git gc --aggressive --prune=now > git repack -ad > > The sha1s are all going to change though, which is going to make > merging all wrong for people who already pulled it. That may not be a > problem for you... -- You received this message because you are subscribed to the Google Groups "GitHub" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/github?hl=en.
