ci: add duplicate PR detection bot

2026-05-13 15:44:56 +00:00 · 2026-01-04 00:15:46 -06:00
parent 72cef0d9e7
commit b934c22d8d
5 changed files with 139 additions and 0 deletions
--- a/.opencode/opencode.jsonc
+++ b/.opencode/opencode.jsonc
@@ -23,5 +23,6 @@
  },
  "tools": {
    "github-triage": false,
+    "github-pr-search": false,
  },
 }