- Someone accidentally commited and pushed a number of large files
- I have deleted the files by using
git-filter-repothat rewrites the history (like this answer suggests) - The
git-filter-repo --analyzehas confirmed that the files are, in fact, removed - I used
git push --forceto 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?