ref: https://www.czettner.com/2015/07/16/deleting-big-files-from-git-history.html
git filter-branch --force --index-filter "git rm --cached --ignore-unmatch dev/database.sql" --prune-empty --tag-name-filter cat -- --all
git reflog expire --expire=now --all
git gc --prune=now
git push origin --force --all