[ARVADOS] updated: 1.3.0-2-g37d8512b9

[Git user]

Summary of changes:
 build/run-build-docker-jobs-image.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

       via  37d8512b93cff033af35935b918deaaf6c353bce (commit)
      from  5fed5bf2c830b76db0aa7a2d7c787ae6941da53f (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.


commit 37d8512b93cff033af35935b918deaaf6c353bce
Author: Ward Vandewege <wvandewege at veritasgenetics.com>
Date:   Tue Dec 4 08:58:36 2018 -0500

    Fix docker push command in run-build-docker-jobs-image.sh
    
    No issue #
    
    Arvados-DCO-1.1-Signed-off-by: Ward Vandewege <wvandewege at veritasgenetics.com>

diff --git a/build/run-build-docker-jobs-image.sh b/build/run-build-docker-jobs-image.sh
index fc1eb72c7..83bb5ae71 100755
--- a/build/run-build-docker-jobs-image.sh
+++ b/build/run-build-docker-jobs-image.sh
@@ -204,7 +204,7 @@ else
         if ! [[ -z "$version_tag" ]]; then
             docker_push arvados/jobs:"$version_tag"
         else
-           docker_push arvados/jobs:$cwl_runner_version
+           docker_push arvados/jobs:$cwl_runner_version_orig
            docker_push arvados/jobs:latest
         fi
         title "upload arvados images finished (`timer`)"

-----------------------------------------------------------------------


hooks/post-receive
--