Deleting files from a Git repo permanently | Hacker News Reader