diff options
Diffstat (limited to '.opencode/tool/github-pr-search.txt')
| -rw-r--r-- | .opencode/tool/github-pr-search.txt | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/.opencode/tool/github-pr-search.txt b/.opencode/tool/github-pr-search.txt new file mode 100644 index 000000000..28d8643f1 --- /dev/null +++ b/.opencode/tool/github-pr-search.txt @@ -0,0 +1,10 @@ +Use this tool to search GitHub pull requests by title and description. + +This tool searches PRs in the sst/opencode repository and returns LLM-friendly results including: +- PR number and title +- Author +- State (open/closed/merged) +- Labels +- Description snippet + +Use the query parameter to search for keywords that might appear in PR titles or descriptions. |