Fix push-release

Author: smarterclayton

hack/push-release.sh

@@ -34,7 +34,7 @@ if [[ -z "${source_tag}" ]]; then
   fi
 fi
 
-images="${OS_ALL_IMAGES}"
+images=( "${OS_ALL_IMAGES[@]}" )
 
 PUSH_OPTS=""
 if docker push --help | grep -q force; then