Fixing the “this exceeds GitHub’s file size limit of 100 MB” error

git filter-branch --index-filter 'git rm --cached --ignore-unmatch file.ext' --prune-empty -- --all