git-filter-branch and git-commit --amend will remove the file from the commit history, but not from the repo. To remove the objects from the repo you'll have to manually force a git-gc, and possibly a git-prune (I'm not sure what all is pruned when git-gc is called). I don't think git-update-index can take wildcards. You should probably read the docs: http://www.kernel.org/pub/software/scm/git/docs/git-gc.html http://www.kernel.org/pub/software/scm/git/docs/git-prune.html http://www.kernel.org/pub/software/scm/git/docs/git-update-index.html
Github runs gc on a periodic basis. If you want have the files removed from the repo immediately, you'll have to delete and recreate the repo. --tek On Fri, Oct 3, 2008 at 1:37 AM, peter <[EMAIL PROTECTED]> wrote: > > 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 -~----------~----~----~----~------~----~------~--~---
