Hacker News Reader

Github recently published this after the whole search debacle. You can use it to prune all existence of a file form your history.

"Fortunately, git makes it fairly simple to remove the file from the entire repo history."

Sounds like they have a unique definition of "simple".

They recently linked to it. But the article itself has been around for as long as they've had help articles on how to use Git and GitHub.