Git Reverting a big PUSHed file

I accidentally added (git add *) a big file (200+ MB) to a git repository. I commit the changes and pushed it.

When I tried to pull changes on some other copy, it was taking too long. I canceled the pull, removed the file (git rm file), commit, and pushed again. But it's still taking too long to pul开发者_运维问答ling on other working copy.

So, how to remove it completely from the main repo?

The object is still in the repo, and the remotes are trying to download this object when they pull.

This recipe at github should help remove the object from the repo's history.