hello - any guidance on how to do docker image mirroring so I can pull an image from Dockerhub and upload it into ECR? this can be done from the command line as follows:

docker pull {whatever_dockerhub_image}
docker tag {the_image_id_from_above} <http://009024277649.dkr.ecr.us-west-2.amazonaws.com/{whatever_name_you_want}|009024277649.dkr.ecr.us-west-2.amazonaws.com/{whatever_name_you_want}>
docker push <http://009024277649.dkr.ecr.us-west-2.amazonaws.com/{whatever_name_you_want}|009024277649.dkr.ecr.us-west-2.amazonaws.com/{whatever_name_you_want}>

i'm having trouble figuring out how to do this with the docker provider provided by Pulumi (docker.Image, docker.RemoteImage, etc.)