[ARVADOS] updated: 2.2.1-41-gc6fadeb8b

[Git user]

Summary of changes:
 build/run-build-docker-images.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

       via  c6fadeb8b9eaccc59b6c277e66cfbfe4896404df (commit)
      from  8ff5d1f7ed3366317fffdcf29b8a92632d2a9075 (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 c6fadeb8b9eaccc59b6c277e66cfbfe4896404df
Author: Peter Amstutz <peter.amstutz at curii.com>
Date:   Thu Sep 9 10:16:49 2021 -0400

    Tweak docker image tagging
    
    Arvados-DCO-1.1-Signed-off-by: Peter Amstutz <peter.amstutz at curii.com>

diff --git a/build/run-build-docker-images.sh b/build/run-build-docker-images.sh
index 8cff14b71..00ef2de41 100755
--- a/build/run-build-docker-images.sh
+++ b/build/run-build-docker-images.sh
@@ -85,11 +85,14 @@ docker_push () {
     # docker always creates a local 'latest' tag, and we don't want to push that
     # tag in every case. Remove it.
     docker rmi $1:latest
+
+    GITHEAD=$(cd $WORKSPACE && git log --format=%H -n1 HEAD)
+
     if [[ ! -z "$tags" ]]
     then
         for tag in $( echo $tags|tr "," " " )
         do
-             $DOCKER tag $1 $1:$tag
+             $DOCKER tag $1:$GITHEAD $1:$tag
         done
     fi
 

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


hooks/post-receive
--