Git rm from history
Remove a file from git history.
git filter-branch --index-filter "git rm --cached --ignore-unmatch FILE_TO_DELETE" HEAD
git update-ref -d refs/original/refs/heads/master
Remove a file from git history.
git filter-branch --index-filter "git rm --cached --ignore-unmatch FILE_TO_DELETE" HEAD
git update-ref -d refs/original/refs/heads/master