Skip to content

Bind GitHub events to repository-local PR identity - #675

Merged
krasnoperov-coding-agent[bot] merged 1 commit into
mainfrom
feature/scope-terminal-pr-resolution
Sep 15, 2026
Merged

krasnoperov-coding-agent[bot] merged 1 commit into
mainfrom
feature/scope-terminal-pr-resolution

Conversation

@krasnoperov-coding-agent

Copy link
Copy Markdown
Contributor

Problem

A merged PR that merely mentioned a tracked issue key could be treated as that issue's owning PR. PR numbers and branch names were also looked up globally before checking the repository, making cross-repository identity collisions unsafe.

Change

  • Resolve PR numbers, branches, and issue keys atomically within the configured repository.
  • Allow issue-key discovery to establish ownership only on pr_opened.
  • Require all later review, check, synchronize, close, and merge events to match persisted PR or branch identity.
  • Cover foreign terminal events and cross-repository PR, branch, and issue-key collisions at both resolver and handler levels.

@krasnoperov-coding-agent
krasnoperov-coding-agent Bot marked this pull request as ready for review September 15, 2026 21:01

@review-quill review-quill Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Verdict: ✅ Approve — The current head scopes PR, branch, and issue-key lookup to the selected project and restricts issue-key discovery to PR-open events; no actionable regression was found.

@krasnoperov-coding-agent krasnoperov-coding-agent Bot added queue:testing Merge-steward is validating speculative CI queue:merging Merge-steward is merging this PR and removed queue:testing Merge-steward is validating speculative CI labels Sep 15, 2026
@krasnoperov-coding-agent
krasnoperov-coding-agent Bot merged commit a181707 into main Sep 15, 2026
2 checks passed
@krasnoperov-coding-agent
krasnoperov-coding-agent Bot deleted the feature/scope-terminal-pr-resolution branch September 15, 2026 21:08
@krasnoperov-coding-agent krasnoperov-coding-agent Bot removed the queue:merging Merge-steward is merging this PR label Sep 15, 2026
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.

0 participants