Git repo is HUGE
I think someone committed installer binaries at some point. It would be nice to remove them.
https://github.com/newren/git-filter-repo
$ pip install git-filter-repo
$ git filter-repo --invert-paths --path <path to the file or directory>