git filter-branch --force --index-filter "git rm -rf --cached --ignore-unmatch <files>" --prune-empty --tag-name-filter cat -- --all