git filter-branch --force --prune-empty --index-filter \
"git rm --cached -r --force --ignore-unmatch -- $file"
--tag-name-filter cat -- --all
$file 内のかなり長いパス名 (44 個) のリストでこれを試しました。実行の最後に、それらのいくつかは削除されません。残り物でもう一度実行すると、それらは削除されます。
これはなぜでしょうか?