#!/bin/bash

path="${*}"
git filter-branch --force --index-filter "git rm -r --cached --ignore-unmatch ${path}" --prune-empty --tag-name-filter cat -- --all