https://yeri.be/deleting-big-files-from-your-git-history/