Hi all, I need to remove a directory of large files from a git repository.
I found http://stackoverflow.com/questions/8083282/how-do-i-remove-a-big-file-wrongly-committed-in-git and http://dalibornasevic.com/posts/2-permanently-remove-files-and-folders-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. Suspicious 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? Thanks, Dave -- 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 [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
