HI all. I need some help. I've been following the advice on http://dalibornasevic.com/posts/2-permanently-remove-files-and-folders-from-a-git-repository and http://stackoverflow.com/questions/8083282/how-do-i-remove-a-big-file-wrongly-committed-in-git to remve a directory of huge files from our repository.
It's not working. (The huge files are a problem because we're starting to pull files across the internet. Our goal fix is reworking the code base to use git subtrees. But our desired simple clone of a repository pulls all of the history; using a refspec to just get a branch would be a hack. The cause of the problem is the huge files.) Here are the (almost) exact commands I'm trying: git pull # or clone to a new directory git rm -rf ./path/to/dir/of/huge/files git commit -a --message "Removing huge files" git push origin master 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 #which tells me I need to pull. Suspicious git pull git push origin master --force I'm starting to understand what these commands do, but it's still a bit of a recipe for me. And it's not working. Any suggestions for what to look at or try next? What am I not seeing? 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 git-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.