How to remove big (>100MB) file from a GitHub repository and push successfully?
Even though you have removed the file in the latest commit you still have a copy of it in your history. I think you’re going to want to remove it from git completely. You’ll probably want to rebase it out. To find out when you introduced it you could do: git log –reverse -n1 doc/image.eps … Read more