Remove files from Git history using git-filter-repo

Many of you have probably been in a situation where you committed a file in your repository which you shouldn’t have done in the first place. For example a file with credentials or a crazy big file