diff options
| author | Will Greenberg <willg@eff.org> | 2022-10-27 06:47:29 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-27 06:47:29 +0300 |
| commit | 7865bbd39a54863ca3b48af77a3da8da7b7d0226 (patch) | |
| tree | 0b1d8920b6fd4d4ca9d281de7751676ee61715c3 | |
| parent | eed1afb8082518a5212a6d8016a4ccf44c5ad99e (diff) | |
Add comment explainig the load-bearing debug flags (#9443)
| -rwxr-xr-x | tools/docker/deploy.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/docker/deploy.sh b/tools/docker/deploy.sh index c173c4158..9b04f3e49 100755 --- a/tools/docker/deploy.sh +++ b/tools/docker/deploy.sh @@ -46,6 +46,10 @@ ParseRequestedArch "${2}" TagAndPushForAllRequestedArch() { DOCKER_REPO="${DOCKER_HUB_ORG}/${1}" for TARGET_ARCH in "${ALL_REQUESTED_ARCH[@]}"; do + # NOTE: In early 2022, we were experiencing regular "docker push" + # timeouts, so we added these "--debug" flags to learn more. Since we + # added them, we haven't had another timeout, so until we experience + # another timeout & can get the deubg logs, we're leaving them in. docker --debug push "${DOCKER_REPO}:${TARGET_ARCH}-${TAG_BASE}" if [[ "${TAG_BASE}" =~ ^v[0-9]+\.[0-9]+\.[0-9]+$ ]]; then |