I want to delete dist and dist.zip from the git history, with the following commands,but failed
git clone g...@github.com: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 git-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/git-users/3e1d1319-c65d-4846-bace-933d748624f5%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
