From 9c845090fa8ae42537e729a2aec59b2be30c5e1c Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Fri, 13 Mar 2026 23:33:29 +0000 Subject: [PATCH 1/2] Initial plan From 023c72c78142789dd73fe192ac853d6dbdfeaac8 Mon Sep 17 00:00:00 2001 From: Andy Gocke Date: Fri, 13 Mar 2026 16:38:16 -0700 Subject: [PATCH 2/2] Refactor PR label handling in sync-release workflow Updated label handling in PR creation logic to use label_flags instead of labels. --- .github/workflows/sync-release.yml | 16 +++++++++++----- 1 file changed, 11 insertions(+), 5 deletions(-) diff --git a/.github/workflows/sync-release.yml b/.github/workflows/sync-release.yml index b568523609af4e..9620aced988342 100644 --- a/.github/workflows/sync-release.yml +++ b/.github/workflows/sync-release.yml @@ -144,6 +144,12 @@ jobs: - name: Create PR id: create-pr if: steps.check-new.outputs.has_new_commits == 'true' + env: + GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} + run: | + - name: Create PR + id: create-pr + if: steps.check-new.outputs.has_new_commits == 'true' env: GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} run: | @@ -156,19 +162,19 @@ jobs: case "$classification" in clean) title="✅ Sync ${commit_short}: ${commit_subject}" - labels="bazel-sync,bazel-sync-clean" + label_flags="--label bazel-sync --label bazel-sync-clean" ;; build-changes) title="⚠️ Sync ${commit_short}: ${commit_subject}" - labels="bazel-sync,bazel-sync-needs-attention" + label_flags="--label bazel-sync --label bazel-sync-needs-attention" ;; conflict) title="❌ Sync ${commit_short}: ${commit_subject}" - labels="bazel-sync,bazel-sync-conflict" + label_flags="--label bazel-sync --label bazel-sync-conflict" ;; *) title="Sync ${commit_short}: ${commit_subject}" - labels="bazel-sync" + label_flags="--label bazel-sync" ;; esac @@ -183,7 +189,7 @@ jobs: --head "${{ steps.create-branch.outputs.branch }}" \ --title "$title" \ --body-file "$report_file" \ - --label "$labels" 2>&1 || true) + $label_flags 2>&1 || true) # Extract PR number from URL pr_number=$(echo "$pr_url" | grep -oP '/pull/\K[0-9]+' || echo "")