Skip to content

Document that merge-conflicted PRs silently swallow review-surface commands - #67

Merged
JPDuchesne merged 1 commit into
mainfrom
jpd/docs-review-surface-conflicted-prs
Aug 19, 2026
Merged

Document that merge-conflicted PRs silently swallow review-surface commands#67
JPDuchesne merged 1 commit into
mainfrom
jpd/docs-review-surface-conflicted-prs

Conversation

@JPDuchesne

Copy link
Copy Markdown
Contributor

Summary

  • Adds a warning to docs/commands.md (under the review-summary definition): GitHub creates no workflow run for pull_request_review / pull_request_review_comment events while the PR is merge-conflicted — the merge ref those workflows run against cannot be created, so commands submitted with a review vanish with no ack and no skipped run.
  • Documents the two ways out: resolve the conflict first, or post the command as a top-level conversation comment (issue_comment never uses the merge ref).

Observed on d3mlabs/dev#122: a /build in a review summary was swallowed after another PR's merge conflicted the branch six minutes earlier.

Test plan

  • Docs-only change; rendering checked locally.

Made with Cursor

…mmands

GitHub runs pull_request_review(_comment) workflows against the PR's
merge ref; while a conflict makes that ref uncreatable, no workflow run
is created at all — no ack, no skipped run. Bit for real on dev#122: a
/build in a review summary vanished after another PR's merge conflicted
the branch. The conversation surface (issue_comment) is unaffected, so
the note points at the two ways out.

Co-authored-by: Cursor <cursoragent@cursor.com>
@codecov

codecov Bot commented Aug 18, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@JPDuchesne
JPDuchesne merged commit 2aaae21 into main Aug 19, 2026
4 checks passed
@JPDuchesne
JPDuchesne deleted the jpd/docs-review-surface-conflicted-prs branch August 19, 2026 12:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant