Hi all,

I need to remove a directory of large files from a git repository. 

, which seemed to do what they were supposed to, except the large files are 
still there.

Here's the commands I ran.

git pull
git lola --name-status
git filter-branch -f --prune-empty -d /dev/shm/scratch --index-filter "git 
rm --cached -rf --ignore-unmatch ./path/to/dir/of/huge/files" 
--tag-name-filter cat -- --all
git update-ref -d refs/original/refs/heads/master
git reflog expire --expire=now --all
git gc --prune=now
git push origin master --force #this one failed and told me to do a pull. 
git pull
git push origin master --force
git lola --name-status

The output from git filter-branch indicates it is doing the right thing, 
and yet the directory and the huge files remain in the history and get 
copied with every clone.

My understanding of what is going on is at the recipe level; I have the 
basic concepts, but suspect I'm skipping a step.

Any idea what's going on? What do I need to do to get rid of this directory?



You received this message because you are subscribed to the Google Groups "Git 
for human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to git-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to