install bfg and then run
xxxxxxxxxx
filename=YOUR_FILENAME
rm $filename && git rm -r --cached $filename && git commit -m "rm $filename" && bfg --delete-files $filename && git reflog expire --expire=now --all && git gc --prune=now --aggressive
then you can push if you have a remote
xxxxxxxxxx
git push -f