From 7615fa20982916580da443b6016e9ae7ec1e4615 Mon Sep 17 00:00:00 2001 From: manuzhang Date: Wed, 22 Jul 2026 12:47:31 +0800 Subject: [PATCH] ci: check for duplicate pull requests Co-authored-by: Codex --- .github/copilot-instructions.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/copilot-instructions.md b/.github/copilot-instructions.md index e4a8ef026..5a1df64fd 100644 --- a/.github/copilot-instructions.md +++ b/.github/copilot-instructions.md @@ -16,6 +16,8 @@ follow these rules to avoid noise and redundancy: - Single comment per issue: If the same pattern occurs multiple times, mention it once and suggest a global fix instead of commenting on every line. +- Check for duplicates: Before reviewing, search open pull requests for + the same issue or change. If one exists, point it out with a link. - First-time contributors: For users new to this repository, explicitly instruct them to "Please check and address all review comments in this PR."