summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
fb39000)
no issue #
Arvados-DCO-1.1-Signed-off-by: Peter Amstutz <peter.amstutz@curii.com>
# 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
# 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
if [[ ! -z "$tags" ]]
then
for tag in $( echo $tags|tr "," " " )
do
+ $DOCKER tag $1:$GITHEAD $1:$tag