Add push

ging · Aug 3, 2023 · 70da9a5 · 70da9a5
1 parent 95e1502
commit 70da9a5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/fiware/image-clone.sh b/.github/fiware/image-clone.sh
@@ -13,6 +13,7 @@ function clone {
    echo 'cloning from '"$1 $2"' to '"$3"
    docker pull -q "$1":"$2"
    docker tag "$1":"$2" "$3":"$2"
+   docker push -q "$3":"$2"
 
    if ! [ -z "$4" ]; then
         echo 'pushing '"$1 $2"' to latest'