本地的git的commit的历史中曾经有一次提交过一个大文件，后来的提交中删除了这个文件。但是git push不允许这样大文件的提交，我该如何做才能不带这个大文件进行提交呢？
git filter-branch --force --index-filter "git rm --cached --ignore-unmatch 路径/到/大文件" --prune-empty --tag-name-filter cat -- --all
