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,
On a side note: can this filter-branch command also be applied using
wildcards? It didn't seem to work for me.
On 1 Okt., 21:28, "GitHub Support" <supp...@github.com> wrote: