This is useful to retrieve big files from git history and delete them from all history

git-prune-history.sh

#the command below will look at ALL objects in history and show you the biggest ones
git rev-list --all --objects | 
  sed -n $(git rev-list --objects --all | cut -f1 -d' ' | git cat-file --batch-check |  grep blob | sort -n -k 3 | tail -n40 | while read hash type size; do  echo -n "-e s/$hash/$size/p "; done) | sort -n -k1
#the command below will remove all reference for a given file
git filter-branch --force --index-filter 'git rm --cached -r --ignore-unmatch REPLACE_WITH_PATH' --prune-empty --tag-name-filter cat -- --all
# remove old referenes
rm -rf .git/refs/original/
# remove old referenes
git reflog expire --expire=now --all
# recreate referenes
git gc --prune=now
git gc --aggressive --prune=now