Alternate Docker Registries about bob

[ericmj]

Have you run into the rate limits for images you pull from hexpm/ on DockerHub?

DockerHub seems to still be the main registry so we are going to keep to it unless that changes. Bob builds and pushes a substantial amount of images and I don't think we should be wasteful and just push to any arbitrary registries. Pushing to additional registries would require more resources from us and of the registries we push to so if we are going to push to additional registries we would need to investigate which we are going to pick.

Two of the ones you listed are not free for pushers and it's not immediately clear if they are free for pullers. I have not heard of quay before and don't know what their hidden rate limits are. We know of DockerHub's limits from experience.

Maybe it would be better if you mirror to the registries you need?

[maennchen]

@ericmj I'll do it myself then, thanks.