auto-merge sync PRs from dev

[ralfhandl]

Automatically merge sync PRs from dev to vX.Y-dev.

After creating a sync PR the PR is merged with "admin" privileges, which works because the bot creating the sync PR is allowed to bypass the ruleset requiring PR approvals.

The bot is not allowed to bypass the branch protection rule that requires status checks, so the merge should only succeed if the status checks pass.

• schema changes are included in this pull request
• schema changes are needed for this pull request but not done yet
• no schema changes are needed for this pull request

[Copilot]

Pull Request Overview

This PR enhances the workflow to automatically merge housekeeping PRs from dev into vX.Y-dev by capturing the created PR ID and invoking a merge step.

• Capture the PR reference in a variable for subsequent operations
• Add a merge step using admin privileges

Comments suppressed due to low confidence (2)

.github/workflows/sync-dev-to-vX.Y-dev.yaml:45

• Capture only the numeric PR ID instead of the full output; for example:

PR=$(gh pr create --base "$BASE" --head "$HEAD" --label "Housekeeping" \
  --title "${BASE}: update from ${HEAD}" --body "Merge \`${HEAD}\` into \`${BASE}\`." \
  --json number -q .number)

            PR=$(gh pr create --base $BASE --head $HEAD \

.github/workflows/sync-dev-to-vX.Y-dev.yaml:49

• The --admin flag bypasses branch protection, potentially ignoring required status checks; remove it if you want merges to wait for passing checks or confirm its behavior against your protection rules.

            gh pr merge $PR --merge --admin