Comment by nomel
I was trying to delete a file from history yesterday.
The built in way (filter-branch) pops up a warning, with a long delay, saying you should hit Control+C and go download a third party python script called filter-repo...
I was trying to delete a file from history yesterday.
The built in way (filter-branch) pops up a warning, with a long delay, saying you should hit Control+C and go download a third party python script called filter-repo...
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.
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)