From e931a2475ad1104b49a04e8c8c4d28fcfc5aefe3 Mon Sep 17 00:00:00 2001 From: "Michael B. Gale" Date: Sun, 1 Mar 2026 15:59:58 +0000 Subject: [PATCH] Replace remaining uses of `sync.py` --- .github/workflows/rebuild.yml | 5 +---- .github/workflows/script/verify-pr-checks.sh | 2 +- 2 files changed, 2 insertions(+), 5 deletions(-) diff --git a/.github/workflows/rebuild.yml b/.github/workflows/rebuild.yml index 2e88b35d5..fcf6affd0 100644 --- a/.github/workflows/rebuild.yml +++ b/.github/workflows/rebuild.yml @@ -87,10 +87,7 @@ jobs: - name: Generate workflows working-directory: pr-checks - run: | - python -m pip install --upgrade pip - pip install ruamel.yaml==0.17.31 - python3 sync.py + run: ./sync.sh - name: "Merge in progress: Finish merge and push" if: steps.merge.outputs.merge-in-progress == 'true' diff --git a/.github/workflows/script/verify-pr-checks.sh b/.github/workflows/script/verify-pr-checks.sh index 6aa1381e2..5be2c599e 100755 --- a/.github/workflows/script/verify-pr-checks.sh +++ b/.github/workflows/script/verify-pr-checks.sh @@ -19,7 +19,7 @@ if [ ! -z "$(git status --porcelain)" ]; then # If we get a fail here then the PR needs attention git diff git status - >&2 echo "Failed: PR checks are not up to date. Run 'cd pr-checks && python3 sync.py' to update" + >&2 echo "Failed: PR checks are not up to date. Run 'cd pr-checks && ./sync.sh' to update" echo "### Generated workflows diff" >> $GITHUB_STEP_SUMMARY echo "" >> $GITHUB_STEP_SUMMARY