How to permanently remove a file from Git history | Hacker News Reader