Comment by PaulDavisThe1st
Comment by PaulDavisThe1st 2 days ago
Possibly consider that "deleting a file from history" is rather far outside the norm or recommended practice for git (even though it is, of course, entirely possible)
Comment by PaulDavisThe1st 2 days ago
Possibly consider that "deleting a file from history" is rather far outside the norm or recommended practice for git (even though it is, of course, entirely possible)
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.
> 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.