Git Reverting a big PUSHed file

Question

Hi All,

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 pulling on other working copy.

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

Thanks, Imran

Answer 1

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.