diff options
| author | Ravi Kumar <[email protected]> | 2026-01-06 00:29:42 +0530 |
|---|---|---|
| committer | GitHub <[email protected]> | 2026-01-05 12:59:42 -0600 |
| commit | c6a241e3319f8a4818581f22712aaccbccda0d26 (patch) | |
| tree | 4f42a7a3ba51faf1b78799ebc74b5b693d5f4815 /.opencode/tool | |
| parent | 4b7301e8ca14ad325f580b845ae3319f0d4d0c15 (diff) | |
| download | opencode-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]>
Diffstat (limited to '.opencode/tool')
| -rw-r--r-- | .opencode/tool/github-pr-search.ts | 5 |
1 files changed, 5 insertions, 0 deletions
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}` |