Remove all of a file type from your repo
git filter-branch -f --index-filter 'git rm --cached --ignore-unmatch pi/data/local.0'