删除Github上已push多次的文件

git push this exceeds GitHub’s file size limit of 100.00 MB
”’
依照Github help：

https://help.github.com/enterprise/11.10.340/user/articles/working-with-large-files/

但是之后仍push不成功，因为超过100M的这个文件已经在之前commit过很多次了。

继续按照help文档里的BFG命令，没有，要安装。

觉得麻烦，于是就用了：

git filter-branch -f –index-filter “git rm -rf –cached –ignore-unmatch FOLDERNAME” – –all
ok了。
大文件从commit记录里删除了都。再commit也不会加上了。

repository不过这样的话，Github那边的repository里岂不是就没有这个文件，其他人用这个项目或者我换台机器想pull项目，就不完整了吧？