Remove file in git history

git filter-branch —force —index-filter ‘git rm —cached —ignore-unmatch kodi/mariadb/databases/ibdata1 kodi/mariadb/databases/ib_logfile0 traefik/log/traefik.log’ —prune-empty —tag-name-filter cat — —all