Remove a directory permanently from git
git
Solution
Actually none of these techniques workedfor me. I found the most reliable was was to simply pull locally into another repo:
git pull file://$(pwd)/myGitRepo
It also saves you the hassle of deletig old tags.
see the story on my blog: http://stubbisms.wordpress.com/2009/07/10/git-script-to-show-largest-pack-objects-and-trim-your-waist-line/
Problem
In my personal git repo, I have a directory that contains thousands of small images that are no longer needed. Is there a way to delete them from the entire git history? I have tried ``` git filter-branch --index-filter "git rm -rf --cached --ignore-unmatch imgs" HEAD ``` and ``` git filter-branch --tree-filter 'rm -fr imgs' HEAD ``` but the size of the git repo remains unchanged. Any ideas? Thanks