Clean git history after file deleted from git

gitHistoryClean

#!/bin/bash

# remove all paths passed as arguments from the history of the repo
git filter-branch --index-filter "git rm -rf --cached --ignore-unmatch config/*.ini" HEAD

# remove the temporary history git-filter-branch otherwise leaves behind for a long time
rm -rf .git/refs/original/ && git reflog expire --all &&  git gc --aggressive --prune

git filter-branch -f --index-filter "git rm --cached --ignore-unmatch app/config/*.ini" --prune-empty -- --all
 
git update-index --refresh

#As of Git v1.7.0, you can delete a remote branch using
#git push origin --delete branch
#The above is syntactic sugar for
#git push origin :branch