From 403afe25b793480f95f5e74e3047283a0dacaedc Mon Sep 17 00:00:00 2001 From: "Alex Pooley (@zuedev)" Date: Mon, 25 May 2026 09:27:58 +0100 Subject: Add Codeberg token support for repository mirror pushes --- scripts/push-repo-mirrors.bash | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'scripts/push-repo-mirrors.bash') diff --git a/scripts/push-repo-mirrors.bash b/scripts/push-repo-mirrors.bash index bc0ac1e..71696a1 100644 --- a/scripts/push-repo-mirrors.bash +++ b/scripts/push-repo-mirrors.bash @@ -51,6 +51,19 @@ for repository in /repositories/*; do echo "Pushing to GitHub mirror: $mirror" git push --mirror "https://x-access-token:$GITHUB_TOKEN@$mirror_host" 2>&1 | sed "s/$GITHUB_TOKEN/[REDACTED]/g" || echo "Failed to push to $mirror" ;; + *codeberg.org*) + # do we have a /run/secrets/codeberg_token defined? + if [ ! -f /run/secrets/codeberg_token ]; then + echo "/run/secrets/codeberg_token not found. Skipping push to $mirror." + continue + fi + + CODEBERG_TOKEN=$(cat /run/secrets/codeberg_token) + + mirror_host="${mirror#https://}" + echo "Pushing to Codeberg mirror: $mirror" + git push --mirror "https://x-access-token:$CODEBERG_TOKEN@$mirror_host" 2>&1 | sed "s/$CODEBERG_TOKEN/[REDACTED]/g" || echo "Failed to push to $mirror" + ;; *) echo "Unknown mirror type: $mirror. Skipping." ;; -- cgit v1.2.3