From c3fe8b682d618d55272682175c64f25496f65e4b Mon Sep 17 00:00:00 2001
From: foxyz <foxyz@foxzy.ru>
Date: Sun, 11 Oct 2026 16:30:00 +0300
Subject: [PATCH] dev_release.sh: retry the upload up to 3 times

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
---
 tool/dev_release.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/tool/dev_release.sh b/tool/dev_release.sh
index 9878f3ef..53bd4756 100755
--- a/tool/dev_release.sh
+++ b/tool/dev_release.sh
@@ -63,7 +63,12 @@ EOF
 if [[ "$PUBLISH" != "1" ]]; then
   echo "built $TARBALL (not published)"; exit 0
 fi
-dart "$ROOT/tool/release_publish.dart" dev "$TARBALL" "$MANIFEST"
+# Gitea sometimes resets the upload; the previous build stays up meanwhile.
+for try in 1 2 3; do
+  dart "$ROOT/tool/release_publish.dart" dev "$TARBALL" "$MANIFEST" && break
+  [[ "$try" == 3 ]] && { echo "error: upload failed 3 times" >&2; exit 1; }
+  echo "upload failed, retrying ($try/3) ..."; sleep 3
+done
 
 cat <<EOF