I found that repeat the delete command does the work, who could tell me why?

git clone [email protected]:rawbin-/git-rewrite-history-test.git
cd git-rewrite-history-test
git rev-list --objects --all  ## show objects 
git filter-branch -f --index-filter 'git rm -rf --cached --ignore-unmatch 
dist*.zip  dist' --prune-empty --tag-name-filter cat -- --all
git rev-list --objects --all  ## the dist and dist.zip are still there
git filter-branch -f --index-filter 'git rm -rf --cached --ignore-unmatch 
dist*.zip  dist' --prune-empty --tag-name-filter cat -- --all
git rev-list --objects --all  ## the dist and dist.zip have gone



在 2019年5月24日星期五 UTC+8下午3:10:43,JiaYu Zhang写道:
>
> I want to delete dist and dist.zip from the git history, with the 
> following commands,but failed
>
>
> git clone [email protected]:rawbin-/git-rewrite-history-test.git
> cd git-rewrite-history-test
> git rev-list --objects --all  ## show objects 
> git filter-branch -f --index-filter 'git rm -rf --cached --ignore-unmatch 
> dist*.zip  dist' --prune-empty --tag-name-filter cat -- --all
> git reflog expire --expire=now --expire-unreachable=all --all
> git fsck --full --unreachable
> git repack -A -d
> git gc --prune=now --aggressive
> git rev-list --objects --all  ## the objects are still there
>
>
>
>
>

-- 
You received this message because you are subscribed to the Google Groups "Git 
for human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/git-users/93c23a3d-d946-4af3-a8d8-dcf1360a04df%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to