<https://www.pulumi.com/blog/amazon-ecr-public/>