Hi – I've got the same problem with some pictures in a folder I want to remove from the repository because they have been replaced by better ones. I tried the filter-branch procedure, but it didn't quite seem to work.
After I executed the first command, a `git commit -a` didn't seem to do anything. Then, after I removed some files following this procedure, I noticed that the repository had in fact gotten bigger instead of smaller… I know, the images shouldn't have been included in the first place, but I didn't think about repository size back then, unfortunately. On a side note: can this filter-branch command also be applied using wildcards? It didn't seem to work for me. Thanks, Peter On 1 Okt., 21:28, "GitHub Support" <[EMAIL PROTECTED]> wrote: > zdroshnya, > Is this file in a recent commit, or far back in the history? If it's recent > you can remove it with a `git commit --amend` or `git rebase -i`... if it's > back in the history, you will need to use filter-branch. > > We have a little guide fro filter-branch that may be easier to > understand:http://github.com/guides/completely-remove-a-file-from-all-revisions > > --tek > > On Wed, Oct 1, 2008 at 4:19 AM, zdroshnya <[EMAIL PROTECTED]> wrote: > > > Hi all, > > is there any procedure for removing some large binary files from a git > > (and it's github hosted counterpart) repository? > > I was reading this thread from kernel trap, but couldn't really figure > > out what to do. > > >http://kerneltrap.org/mailarchive/git/2007/10/7/331471 > > > Thx in advance --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
