Skip to content

ci: check for duplicate pull requests#837

Open
manuzhang wants to merge 1 commit into
apache:mainfrom
manuzhang:agent/check-duplicate-prs
Open

ci: check for duplicate pull requests#837
manuzhang wants to merge 1 commit into
apache:mainfrom
manuzhang:agent/check-duplicate-prs

Conversation

@manuzhang

Copy link
Copy Markdown
Member

Summary

  • instruct Copilot reviewers to search open pull requests for the same issue or change
  • ask reviewers to link any duplicate they find

This helps surface duplicate work earlier in the review process.

Testing

Not run (documentation-only change, per instruction).

@manuzhang
manuzhang marked this pull request as ready for review July 22, 2026 04:59
Copilot AI review requested due to automatic review settings July 22, 2026 04:59

Copilot AI 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.

Pull request overview

Updates the repository’s Copilot review instructions to proactively detect and flag duplicate work by asking reviewers to search for similar open pull requests and link any duplicates found.

Changes:

  • Adds a new “Check for duplicates” guideline to the code review instruction list.
  • Instructs reviewers to link an existing PR when duplicate work is detected.

Co-authored-by: Codex <codex@openai.com>
@manuzhang
manuzhang force-pushed the agent/check-duplicate-prs branch from e55c864 to 7615fa2 Compare July 22, 2026 08:03
@manuzhang manuzhang changed the title Docs: Check for duplicate pull requests ci: check for duplicate pull requests Jul 22, 2026
@manuzhang
manuzhang requested a review from wgtmac July 22, 2026 09:36
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.

2 participants