Update tools/docker/deploy_images.sh

Co-authored-by: Brad Warren <bmw@users.noreply.github.com>
This commit is contained in:
humanoid2050 2023-03-30 18:58:40 -04:00 committed by GitHub
parent e43b4db3bc
commit 954eb02e2e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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 <TAG> all