remove big files from git history

git_big_files.sh

#list top 10 big files
index_file=$(ls .git/objects/pack/pack-*.idx)
for x in $(git verify-pack -v $index_file| sort -k 3 -n | tail -10); do
	git rev-list --objects --all | grep $x
done


#remove all war
git filter-branch -f --index-filter 'git rm -rf --cached --ignore-unmatch *.war' -- --all

#pack all
git pack-refs --all --prune
#expire old reflogs
git reflog expire --expire-unreachable=now --all
#pack unpacked files
git repack -A -d
#git clean up
git gc --aggressive --prune=now