Unfortunately we accidently checked in a large binary file some time ago and until today nobody noticed. Now I want to drop that commit and have the remaining history as it
My friend started a convenient script for purging files from git history, check https://github.com/donquixote/gitpurge
I'd go with filter-branch:
filter-branch
git filter-branch --prune-empty --index-filter ' git rm --cached --ignore-unmatch path/to/file ' --all