Removing secrets from git repo is straightforward. With help of BFG Cleaner and privileges to force push the modified history, it’s a piece of cake.
I believed this until I found I was partially wrong - removing something from git history doesn’t remove them from git repository’s history.
…