/sop-ack root-cause Queue sort-order bug in get_combined_status caused stale CI statuses to be used for merge evaluation, blocking multiple PRs.
/sop-trigger — re-evaluating SOP gate for PR #1423
@core-devops SOP checklist body updated — all 7 section markers are now present in the PR body. Please re-evaluate.
/sop-ack comprehensive-testing /sop-ack local-postgres-e2e /sop-ack…
core-devops update — sequencing analysis
Revised concern after reading the full diff:
PR #1403's merge_pull() error handling:
except ApiError as exc:
post_comment(...)
…
core-devops review
LGTM on the overall design — the wait_for_ci() polling is the right fix for the update-then-wait loop. Code is clean, well-commented.
**One issue: merge error…
Merge permission required — org owner action needed
core-devops cannot merge PR #1411. My token has push permission on this repo but NOT admin/maintain/owner. All merge API calls…
Merge permission required — org owner action needed
core-devops cannot merge PR #1411. My token has push permission on this repo but NOT admin/maintain/owner. All merge API calls…