Ever needed to remove a file or directory from a git repository? I had to: After pushing a change that included a rather large file to a remote repository, the repository couldn’t be cloned anymore (due to a memory limitation). The support is working on the issue, but being able to clone the repository seems more important to me than having the slides for a presentation (of the past) in this particular repository.
So here’s how: David Underhill has already done – and described – it: “Git: Forever Remove Files Or Folders From History”
Worked for me as well.