git刪除歷史中的某個大檔案

本地的git的commit的歷史中曾經有一次提交過一個大檔案，後來的提交中刪除了這個檔案。但是git push不允許這樣大檔案的提交，我該如何做才能不帶這個大檔案進行提交呢？

git filter-branch --force --index-filter "git rm --cached --ignore-unmatch 路徑/到/大檔案" --prune-empty --tag-name-filter cat -- --all