e8cc0b54ed
We've seen a case where we can still push and pull tags from dockerhub, but the web UI and API seem out of sync with the actual registry. In this case, we would like to continue, even though it will leave some unused tags in the repo (they can be cleaned up later if they ever show up). Change-Id: If000163a321c869c46cfed4233c2ea42c3e8471b
Promote one or more previously uploaded docker images.