diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/push-repo-mirrors.bash | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/push-repo-mirrors.bash b/scripts/push-repo-mirrors.bash index ae63307..43db9a7 100644 --- a/scripts/push-repo-mirrors.bash +++ b/scripts/push-repo-mirrors.bash @@ -39,8 +39,9 @@ for repository in /repositories/*; do GITHUB_TOKEN=$(cat /run/secrets/github_token) + mirror_host="${mirror#https://}" echo "Pushing to GitHub mirror: $mirror" - git push --mirror "https://x-access-token:$GITHUB_TOKEN@$mirror" || echo "Failed to push to $mirror" + git push --mirror "https://x-access-token:$GITHUB_TOKEN@$mirror_host" || echo "Failed to push to $mirror" ;; *) echo "Unknown mirror type: $mirror. Skipping." |