diff options
| author | Alex Pooley (@zuedev) <zuedev@gmail.com> | 2026-05-07 23:48:14 +0100 |
|---|---|---|
| committer | Alex Pooley (@zuedev) <zuedev@gmail.com> | 2026-05-07 23:48:14 +0100 |
| commit | 9cbcafa4b82f0ecb038ca2881ee505c84ec3b847 (patch) | |
| tree | 0fd701c3fc50f8fe38448f8f7b65e4fd810f1e42 /scripts | |
| parent | 7b41114ba0753848372fa5cd72184bed48597396 (diff) | |
| download | git.zue.dev-9cbcafa4b82f0ecb038ca2881ee505c84ec3b847.tar git.zue.dev-9cbcafa4b82f0ecb038ca2881ee505c84ec3b847.tar.gz git.zue.dev-9cbcafa4b82f0ecb038ca2881ee505c84ec3b847.tar.bz2 git.zue.dev-9cbcafa4b82f0ecb038ca2881ee505c84ec3b847.tar.xz git.zue.dev-9cbcafa4b82f0ecb038ca2881ee505c84ec3b847.zip | |
add curl and make error better
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/push-repo-mirrors.bash | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/scripts/push-repo-mirrors.bash b/scripts/push-repo-mirrors.bash index 5058134..48cc076 100644 --- a/scripts/push-repo-mirrors.bash +++ b/scripts/push-repo-mirrors.bash @@ -55,12 +55,14 @@ for repository in /repositories/*; do github_repo="${mirror#https://github.com/}" if [ -n "$local_default" ]; then echo "Setting GitHub default branch to '$local_default' for $github_repo" - curl -sf -X PATCH \ + if ! curl -sf -X PATCH \ -H "Authorization: Bearer $GITHUB_TOKEN" \ -H "Accept: application/vnd.github+json" \ -d "{\"default_branch\":\"$local_default\"}" \ - "https://api.github.com/repos/$github_repo" > /dev/null \ - || echo "Warning: failed to update default branch on GitHub for $github_repo" + "https://api.github.com/repos/$github_repo" > /dev/null; then + echo "Error: failed to update default branch on GitHub for $github_repo. Skipping push." + continue + fi fi echo "Pushing to GitHub mirror: $mirror" |