From 9cbcafa4b82f0ecb038ca2881ee505c84ec3b847 Mon Sep 17 00:00:00 2001
From: "Alex Pooley (@zuedev)" <zuedev@gmail.com>
Date: Thu, 7 May 2026 23:48:14 +0100
Subject: add curl and make error better

---
 Dockerfile.debian              | 1 +
 scripts/push-repo-mirrors.bash | 8 +++++---
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/Dockerfile.debian b/Dockerfile.debian
index 8bd71de..9455f93 100644
--- a/Dockerfile.debian
+++ b/Dockerfile.debian
@@ -8,6 +8,7 @@ RUN apt-get update && apt-get install -y --no-install-recommends \
     openssh-server \
     git \
     cron \
+    curl \
     jq \
     ca-certificates \
     && rm -rf /var/lib/apt/lists/*
diff --git a/scripts/push-repo-mirrors.bash b/scripts/push-repo-mirrors.bash
index 5058134..48cc076 100644
--- a/scripts/push-repo-mirrors.bash
+++ b/scripts/push-repo-mirrors.bash
@@ -55,12 +55,14 @@ for repository in /repositories/*; do
         github_repo="${mirror#https://github.com/}"
         if [ -n "$local_default" ]; then
           echo "Setting GitHub default branch to '$local_default' for $github_repo"
-          curl -sf -X PATCH \
+          if ! curl -sf -X PATCH \
             -H "Authorization: Bearer $GITHUB_TOKEN" \
             -H "Accept: application/vnd.github+json" \
             -d "{\"default_branch\":\"$local_default\"}" \
-            "https://api.github.com/repos/$github_repo" > /dev/null \
-            || echo "Warning: failed to update default branch on GitHub for $github_repo"
+            "https://api.github.com/repos/$github_repo" > /dev/null; then
+            echo "Error: failed to update default branch on GitHub for $github_repo. Skipping push."
+            continue
+          fi
         fi
 
         echo "Pushing to GitHub mirror: $mirror"
-- 
cgit v1.2.3