Completely remove a file from Git history

remove_file.sh

# Completely remove a file from git history

# Remove file from all commits
#   $path_to_file supports wildcards: path/to/directory/*
git filter-branch --index-filter "git rm -rf --cached --ignore-unmatch $path_to_file" HEAD

# Prune branch
git reflog expire --expire=now --all && git gc --prune=now --aggressive

# Rewrite history in remote
git push --force