On Nov 23, 7: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.
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 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.
