I just learned that Bitbucket offers per-repo cloud storage for arbitary files (the "Downloads" section on the web gui). Doing this before adding another third-party deb to our build (rakurai), which is quite large at 140MB. We don't want to pack that into our repo.