- Someone accidentally commited and pushed a number of large files
- I have deleted the files by using
git-filter-repo
that rewrites the history (like this answer suggests) - The
git-filter-repo --analyze
has confirmed that the files are, in fact, removed - I used
git push --force
to fore-push the rewritten history to the origin
So far so good
However
When the repo is pulled to other devs' machines (using git pull --rebase
) the git-filter-repo --analyze
still shows those big deleted blobs/files (not shown on my machine though)
git gc
and git prune
do not help.
What have I done wrong?