git filter-branch --force --index-filter 'git rm --cached --ignore-unmatch file-to-remove' --prune-empty --tag-name-filter cat -- --all