summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorRavi Kumar <[email protected]>2026-01-06 00:29:42 +0530
committerGitHub <[email protected]>2026-01-05 12:59:42 -0600
commitc6a241e3319f8a4818581f22712aaccbccda0d26 (patch)
tree4f42a7a3ba51faf1b78799ebc74b5b693d5f4815
parent4b7301e8ca14ad325f580b845ae3319f0d4d0c15 (diff)
downloadopencode-c6a241e3319f8a4818581f22712aaccbccda0d26.tar.gz
opencode-c6a241e3319f8a4818581f22712aaccbccda0d26.zip
ci: prevent duplicate PR check from flagging current PR as duplicate (#6924)
Co-authored-by: Aiden Cline <[email protected]>
-rw-r--r--.github/workflows/duplicate-prs.yml2
-rw-r--r--.opencode/agent/duplicate-pr.md2
-rw-r--r--.opencode/tool/github-pr-search.ts5
3 files changed, 9 insertions, 0 deletions
diff --git a/.github/workflows/duplicate-prs.yml b/.github/workflows/duplicate-prs.yml
index 7e6dbf79c..326068589 100644
--- a/.github/workflows/duplicate-prs.yml
+++ b/.github/workflows/duplicate-prs.yml
@@ -44,6 +44,8 @@ jobs:
{
echo "Check for duplicate PRs related to this new PR:"
echo ""
+ echo "CURRENT_PR_NUMBER: $PR_NUMBER"
+ echo ""
echo "Title: $(gh pr view "$PR_NUMBER" --json title --jq .title)"
echo ""
echo "Description:"
diff --git a/.opencode/agent/duplicate-pr.md b/.opencode/agent/duplicate-pr.md
index c053ace5d..257145508 100644
--- a/.opencode/agent/duplicate-pr.md
+++ b/.opencode/agent/duplicate-pr.md
@@ -12,6 +12,8 @@ You are a duplicate PR detection agent. When a PR is opened, your job is to sear
Use the github-pr-search tool to search for PRs that might be addressing the same issue or feature.
+IMPORTANT: The input will contain a line `CURRENT_PR_NUMBER: NNNN`. This is the current PR number, you should not mark that the current PR as a duplicate of itself.
+
Search using keywords from the PR title and description. Try multiple searches with different relevant terms.
If you find potential duplicates:
diff --git a/.opencode/tool/github-pr-search.ts b/.opencode/tool/github-pr-search.ts
index 668557e38..587fdfaaf 100644
--- a/.opencode/tool/github-pr-search.ts
+++ b/.opencode/tool/github-pr-search.ts
@@ -45,6 +45,11 @@ export default tool({
}
const prs = result.items as PR[]
+
+ if (prs.length === 0) {
+ return `No other PRs found matching "${args.query}"`
+ }
+
const formatted = prs.map((pr) => `${pr.title}\n${pr.html_url}`).join("\n\n")
return `Found ${result.total_count} PRs (showing ${prs.length}):\n\n${formatted}`