diff options
| author | Alex Pooley (@zuedev) <zuedev@gmail.com> | 2026-05-25 09:32:58 +0100 |
|---|---|---|
| committer | Alex Pooley (@zuedev) <zuedev@gmail.com> | 2026-05-25 09:32:58 +0100 |
| commit | 2a6d64be462549970011e4a5e1c6dc9c666fbca4 (patch) | |
| tree | df8b2d85c52dc7ca5a669d79daaadfadf5672aba | |
| parent | 403afe25b793480f95f5e74e3047283a0dacaedc (diff) | |
| download | git.zue.dev-2a6d64be462549970011e4a5e1c6dc9c666fbca4.tar git.zue.dev-2a6d64be462549970011e4a5e1c6dc9c666fbca4.tar.gz git.zue.dev-2a6d64be462549970011e4a5e1c6dc9c666fbca4.tar.bz2 git.zue.dev-2a6d64be462549970011e4a5e1c6dc9c666fbca4.tar.xz git.zue.dev-2a6d64be462549970011e4a5e1c6dc9c666fbca4.zip | |
Add GitLab mirror push support to the repository mirror script
| -rw-r--r-- | scripts/push-repo-mirrors.bash | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/scripts/push-repo-mirrors.bash b/scripts/push-repo-mirrors.bash index 71696a1..04992ed 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" ;; + *gitlab.com*) + # do we have a /run/secrets/gitlab_token defined? + if [ ! -f /run/secrets/gitlab_token ]; then + echo "/run/secrets/gitlab_token not found. Skipping push to $mirror." + continue + fi + + GITLAB_TOKEN=$(cat /run/secrets/gitlab_token) + + mirror_host="${mirror#https://}" + echo "Pushing to GitLab mirror: $mirror" + git push --mirror "https://oauth2:$GITLAB_TOKEN@$mirror_host" 2>&1 | sed "s/$GITLAB_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 |