Skip to content

fix(mirror): filter cross-repo closing refs#36

Merged
anderdc merged 1 commit into
entrius:testfrom
Desel72:fix/35-filter-cross-repo-closing-refs
May 13, 2026
Merged

fix(mirror): filter cross-repo closing refs#36
anderdc merged 1 commit into
entrius:testfrom
Desel72:fix/35-filter-cross-repo-closing-refs

Conversation

@Desel72
Copy link
Copy Markdown
Contributor

@Desel72 Desel72 commented May 12, 2026

Summary

Filter GitHub closing issue references to the PR's own repository before storing them in pull_requests.closing_issue_numbers.

  • Fetch repository { nameWithOwner } for each closingIssuesReferences node.
  • Keep only issue numbers whose closing-reference repository matches the PR repository case-insensitively.
  • Prevent cross-repo close references like Closes ownerB/repoB#123 from being reinterpreted as ownerA/repoA#123 by pr_linked_issues or solved_by_pr reconciliation.

Related Issues

Closes #35

Type of Change

  • Bug fix
  • New feature
  • Refactor
  • Documentation
  • Other (describe below)

Testing

  • npm run build
  • npm run lint
  • npm run format:check
  • git diff --check

Checklist

  • I have read the Contributing Guide
  • Code builds without errors
  • New and existing tests pass (if applicable)
  • Documentation updated (if applicable)
  • No unnecessary dependencies added

@anderdc anderdc merged commit 4d8121d into entrius:test May 13, 2026
2 checks passed
@anderdc anderdc mentioned this pull request May 14, 2026
4 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[Bug] Mirror flattens cross-repo closing references, enabling false solver attribution

2 participants