git: filter out a file from a branch
If you want to completely remove a file from the history of a branch in git, do this:
git filter-branch --index-filter 'git rm --cached --ignore-unmatch <file>'
If you want to completely remove a file from the history of a branch in git, do this:
git filter-branch --index-filter 'git rm --cached --ignore-unmatch <file>'