Remove a file from a repo and delete all it's history

gitrm.sh

#!/bin/bash
set -o errexit
 
# Author: David Underhill, 
# Script to permanently delete files/folders from your git repository.  To use 
# it, cd to your repository's root and then run the script with a list of paths
# you want to delete, e.g., git-delete-history path1 path2
 
if [ $# -eq 0 ]; then
    exit 0
fi
 
# make sure we're at the root of git repo
if [ ! -d .git ]; then
    echo "Error: must run this script from the root of a git repository"
    exit 1
fi
 
# remove all paths passed as arguments from the history of the repo
files=$@
#git filter-branch --prune-empty --index-filter "git rm -rf --cached --ignore-unmatch $files" --tag-name-filter cat -- --all -f
git filter-branch --prune-empty --index-filter "git rm -rf --cached --ignore-unmatch $files" --tag-name-filter cat -- --all  

# remove the temporary history git-filter-branch otherwise leaves behind for a long time
rm -rf .git/refs/original/ && git reflog expire --expire=now --all &&  git fsck --full --unreachable  && git repack -A -d  && git gc --aggressive --prune=now

Command:

wget https://raw.github.com/gist/3978687/05775cbc4a82db3f6034b8d010ab0190a58c0217/gitrm.sh && chmod u+x gitrm.sh

Sample exec:

cd /to/git/repo' /girm.sh path1 path1`