From 954eb02e2ed8fadb7470c5da3b74fcbabc5319d2 Mon Sep 17 00:00:00 2001 From: humanoid2050 <18317508+humanoid2050@users.noreply.github.com> Date: Thu, 30 Mar 2023 18:58:40 -0400 Subject: [PATCH] Update tools/docker/deploy_images.sh Co-authored-by: Brad Warren --- tools/docker/deploy_images.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/docker/deploy_images.sh b/tools/docker/deploy_images.sh index a9ece6b03..cf66bfcb3 100755 --- a/tools/docker/deploy_images.sh +++ b/tools/docker/deploy_images.sh @@ -2,7 +2,7 @@ set -euxo pipefail # This script takes docker images in the local docker cache and pushes them to -# a registry. +# Docker Hub. # Usage: # ./deploy_images.sh all