Remove file completely from git repository

To remove file dir/secret.txt:

git filter-branch --force --index-filter 'git rm --cached --ignore-unmatch dir/secret.txt'  --prune-empty --tag-name-filter cat -- --all

See also

• Remove sensitive data from git repository
• How can I completely remove a file from a git repository?