#212 Jenkinsfile: retry pushes to internal registry, to work around "unknown blob"
Merged by dcallagh. Opened by dcallagh.
dcallagh/waiverdb no-more-unknown-blob  into  master

Download 212.patch

Commit 3ef1f4b2 added a retry in one of two places where we push to the
registry. This adds a retry in the other.

Pull-Request has been merged by dcallagh

Metadata