diff options
author | Riku Voipio <riku.voipio@linaro.org> | 2020-01-27 14:37:00 +0200 |
---|---|---|
committer | Riku Voipio <riku.voipio@linaro.org> | 2020-01-30 07:26:41 +0000 |
commit | 3aba2e49d66d9ea8f628f78c61b5b02ad002868c (patch) | |
tree | c9d6faf0fc276aebd009145e16bfc0332e66649b /ci-dockerfiles-deployment | |
parent | 618b80c4a51260f3c296891941531cca661cd0a5 (diff) |
ci-dockerfile-deploeyment: try pushing harder
For LSS-1153, try git push three times before giving up
Change-Id: Idd5bc64be8d2d0919c2694dd5d329684699c80d6
Signed-off-by: Riku Voipio <riku.voipio@linaro.org>
Diffstat (limited to 'ci-dockerfiles-deployment')
-rw-r--r-- | ci-dockerfiles-deployment/publish.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/ci-dockerfiles-deployment/publish.sh b/ci-dockerfiles-deployment/publish.sh index f1af7e7f..b1e5e036 100644 --- a/ci-dockerfiles-deployment/publish.sh +++ b/ci-dockerfiles-deployment/publish.sh @@ -24,7 +24,12 @@ for imagename in ${update_images}; do docker tag ${docker_tag} ${new_tag} docker_tag=${new_tag} fi - docker push ${docker_tag} + for i in 1 2 3; + do + docker push ${docker_tag} && exit 0 || true + sleep 30 + done + exit 1 )||echo $imagename push failed >> ${WORKSPACE}/log done |