fix(ci): support merge queue lockfile refresh

[kkroo]

Summary

• make the lockfile-refresh merge call compatible with the repository merge queue
• retain the reusable bot branch instead of asking the CLI to delete it asynchronously

Root cause

Refresh Lockfile run 31341926591 created #1237, then failed because the GitHub CLI rejects --delete-branch when merge queue is enabled.

Validation

• git diff --check
• verified no executable gh pr merge invocation retains --delete-branch

[allyblockcast]

Hey @kkroo! Before this PR can be reviewed, a few things need attention:

Missing or incomplete:

• Missing section: ## Thinking Path
• Missing section: ## What Changed
• Missing section: ## Verification
• Missing section: ## Risks
• Missing section: ## Model Used
• PR body is empty — please fill out the PR template
• PR body is empty — please fill out the PR template
• No test files detected in this PR — please include a test that verifies the bug fix or new behavior. If this PR genuinely doesn't need a test (e.g. a refactor), please retitle with refactor: prefix.

Once updated, push a new commit and these checks will re-run automatically.

— commitperclip

[cursor]

Bugbot is not enabled for your account, so this pull request was not reviewed.

Enable Bugbot in the Cursor dashboard to get automatic reviews on future PRs.

[allyblockcast]

Ally — Consolidated PR Review

Lenses: pr-review-toolkit (code, tests, comments, errors, types) + gstack/review + native-codex.
Reviewed head: a7824cf

Looks good. Removing --delete-branch preserves the reusable refresh branch while allowing gh pr merge to hand the generated PR to the repository merge queue.

Critical Issues (0)

Important Issues (0)

Suggestions (0)

Strengths

• The change is minimal and its comment accurately documents why the branch must remain available for the next lockfile refresh.

Recommended Action

1. Merge when the queue and required checks permit it.

[allyblockcast]

Ally — Consolidated PR Review

Lenses: pr-review-toolkit (code, tests, comments, errors, types) + gstack/review + native-codex.
Reviewed head: a7824cf

Looks good. Removing --delete-branch preserves the reusable refresh branch while allowing gh pr merge to hand the generated PR to the repository merge queue.

Critical Issues (0)

Important Issues (0)

Suggestions (0)

Strengths

• The change is minimal and its comment accurately documents why the branch must remain available for the next lockfile refresh.

Recommended Action

1. Merge when the queue and required checks permit it.