From 9b32fe38aaa91ba4a57128fa98778329da2f8721 Mon Sep 17 00:00:00 2001
From: Matthew Runyon <matthewrunyon@deephaven.io>
Date: Mon, 15 Sep 2025 11:34:32 -0500
Subject: [PATCH] fix: Add empty credentials for git clone to fix random
 failures

---
 docker/examples_script.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/docker/examples_script.sh b/docker/examples_script.sh
index f8782c32..ff4e7efe 100755
--- a/docker/examples_script.sh
+++ b/docker/examples_script.sh
@@ -91,7 +91,11 @@ function do_checkout_version()
 
 #####
 # set up the source and target info
-git_root_url="https://github.com/deephaven/examples.git"
+# The :@ indicates an empty username and password
+# Sometimes git prompts for username/password even though this is a public repo
+# Sometimes it does not prompt. I have no idea why this started prompting sometimes.
+# There doesn't seem to be another way to disable the prompt. Setting GIT_TERMINAL_PROMPT=false just makes the clone fail.
+git_root_url="https://:@github.com/deephaven/examples.git"
 
 target_path="/data/examples"