[docker] push if build is ok

build-image.sh

@@ -2,6 +2,7 @@
 
 if [ $# -lt 1 ]; then
     echo "$0 imageversion [push]"
+    echo "Version could be: $(git describe --always)"
     echo "If push is specified, also push to our harbor"
     exit 1
 fi
@@ -11,4 +12,7 @@ version=$1; shift
 
 tag=${tagprefix}:${version}
 
+set -ex
+
 docker build -t "${tag}" .
+docker push "${tag}"