From ad1797b955021bd5f513118acc9f2397fbe1eb75 Mon Sep 17 00:00:00 2001
From: Andy Galasso <andy.galasso@gmail.com>
Date: Sat, 11 Jan 2025 15:09:26 -0500
Subject: [PATCH] release build script: check that workers have access to the
 github repo

---
 build/make-release | 15 ++++++++++++---
 1 file changed, 12 insertions(+), 3 deletions(-)

diff --git a/build/make-release b/build/make-release
index 5b770bf7..194084c9 100755
--- a/build/make-release
+++ b/build/make-release
@@ -41,16 +41,25 @@ load_config () {
 }
 
 check_hosts_reachable () (
-    # make sure hosts are reachable
+    # make sure hosts are reachable and that the build hosts have github access
 
-    for h in $WWW_HOST $WIN_HOST $MAC64_HOST $MAC64S_HOST; do
+    for h in $WWW_HOST; do
         printf "checking $h ..."
-        ssh -q -oBatchMode=yes $h exit || {
+        ssh -q -oBatchMode=yes "$h" exit || {
             echo "Error: host $h is not ssh-accessible" >&2
             exit 1
         }
         printf " ok\n"
     done
+    for prefix in WIN MAC64 MAC64S; do
+        eval 'h=$'${prefix}_HOST 'dir=$'${prefix}_DIR
+        printf "checking $h ..."
+        ssh -q -oBatchMode=yes "$h" "cd '$dir' && git fetch -q origin" || {
+            echo "Error: host $h is not ssh-accessible or has no git access" >&2
+            exit 1
+        }
+        printf " ok\n"
+    done
 )
 
 setup_worktree () {