User: bsberman

Deleting files is shockingly hard in git

On: Github Kills Search After Hundreds of Private Keys Exposed

Maybe if it weren't so goddamned complicated to remove a file from the history of git, this wouldn't happen. Explain to me, in a series of commands, how I would remove a hypothetical "secret_keys.txt"?