From afe3bbbb9fd902e6ce16360814ec992a5274347f Mon Sep 17 00:00:00 2001 From: Igor Krauch <243803173+igareck@users.noreply.github.com> Date: Fri, 26 Jun 2026 10:06:35 -0400 Subject: [PATCH] =?UTF-8?q?=D0=97=D0=B5=D1=80=D0=BA=D0=B0=D0=BB=D0=BE=20/?= =?UTF-8?q?=20Mirror=20to=20SourceHut?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Создание зеркала на git.sr.ht (SourceHut.org) Create a mirror on git.sr.ht (SourceHut.org) --- .github/workflows/mirror-to-sourcehut.yml | 21 ++++++++++++++++++--- 1 file changed, 18 insertions(+), 3 deletions(-) diff --git a/.github/workflows/mirror-to-sourcehut.yml b/.github/workflows/mirror-to-sourcehut.yml index a171fe8e9..86bd94190 100644 --- a/.github/workflows/mirror-to-sourcehut.yml +++ b/.github/workflows/mirror-to-sourcehut.yml @@ -8,7 +8,7 @@ on: concurrency: group: mirror-to-sourcehut - cancel-in-progress: true + cancel-in-progress: false permissions: contents: read @@ -16,6 +16,7 @@ permissions: jobs: mirror: runs-on: ubuntu-latest + timeout-minutes: 20 steps: - name: Checkout GitHub repository @@ -48,5 +49,19 @@ jobs: git remote remove sourcehut 2>/dev/null || true git remote add sourcehut "git@git.sr.ht:~igareck/vpn-configs-for-russia" - GIT_SSH_COMMAND="ssh -i ~/.ssh/sourcehut_mirror_ed25519 -o IdentitiesOnly=yes" \ - git push sourcehut HEAD:main --force + for attempt in 1 2 3 4 5; do + echo "SourceHut push attempt $attempt/5" + + if GIT_SSH_COMMAND="ssh -i ~/.ssh/sourcehut_mirror_ed25519 -o IdentitiesOnly=yes" \ + git push sourcehut HEAD:main --force; then + echo "SourceHut push successful" + exit 0 + fi + + sleep_time=$((attempt * 45)) + echo "SourceHut push failed. Sleeping ${sleep_time}s before retry..." + sleep "$sleep_time" + done + + echo "SourceHut push failed after all retries" + exit 1