Merge branch '6135-docker-git-tag'

closes #6135

Conflicts:
	jenkins/run-docker-tests.sh

diff --cc jenkins/run-docker-tests.sh
index f0afccb845b595cdcd8777d58af7c866801fdd6d,4f584d8979e0932f43b8ad89d0ef8d6d220c9cca..6bf3859d38e9762dc05776fcd66c7d29c5c5e750
--- 1/jenkins/run-docker-tests.sh
--- 2/jenkins/run-docker-tests.sh
+++ b/jenkins/run-docker-tests.sh
@@@ -50,7 -64,16 +64,15 @@@ title () 
  }
  
  docker_push () {
-   # Sometimes docker push fails; retry it a few times if necessary.
 -    echo $tags
+     if [[ ! -z "$tags" ]]
+     then
+         for tag in $( echo $tags|tr "," " " )
+         do
+              $DOCKER tag $1 $1:$tag
+         done
+     fi
+ 
+     # Sometimes docker push fails; retry it a few times if necessary.
      for i in `seq 1 5`; do
          $DOCKER push $*
          ECODE=$?