Comment by nomel
> even though it is, of course, entirely possible
I take the more realistic perspective: until git makes it impossible to commit something that shouldn't have been, like a secret, then deleting a file from history is a fundamental requirement of git.
Even if you purge the history, the secret is compromised and you should stop using it. It's moot whether or not you're able to remove it from history.