git shred - burn a file with fire

git-shred

#!/bin/bash

if [ ! -z "$1" ]; then
    echo "$1 doesn't exist."
    exit 1
fi

git filter-branch --force --index-filter \
    "git rm --cached --ignore-unmatch $1" \
    --prune-empty --tag-name-filter cat -- --all