Зеркало / Mirror to Codeberg

Создание зеркала на Codeberg.org
Create a mirror on Codeberg.org

Updates:
1. Updated GitHub Actions workflow to disable cancel-in-progress.
2. Added retry logic for Codeberg push.
3. Added push trigger for the main branch and removed scheduled cron job.
4. "Stale server-side Git lock" issue is fixed by Codeberg support.
This commit is contained in:
Igor Krauch
2026-06-29 18:23:21 -04:00
committed by GitHub
parent 31f3fb093e
commit ef6f77599c

View File

@@ -1,9 +1,10 @@
name: Mirror to Codeberg
on:
push:
branches:
- main
workflow_dispatch:
schedule:
- cron: "17 * * * *"
concurrency:
group: mirror-to-codeberg
@@ -35,6 +36,17 @@ jobs:
git remote remove codeberg 2>/dev/null || true
git remote add codeberg "https://igareck:${CODEBERG_TOKEN}@codeberg.org/igareck/vpn-configs-for-russia.git"
LOCAL_SHA="$(git rev-parse HEAD)"
REMOTE_SHA="$(git ls-remote codeberg refs/heads/main | awk '{print $1}' || true)"
echo "Local GitHub main: $LOCAL_SHA"
echo "Remote Codeberg main: ${REMOTE_SHA:-unknown}"
if [ -n "${REMOTE_SHA:-}" ] && [ "$LOCAL_SHA" = "$REMOTE_SHA" ]; then
echo "Codeberg is already up to date. Skipping push."
exit 0
fi
for attempt in 1 2 3 4 5; do
echo "Codeberg push attempt $attempt/5"