ceos/opencode
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(config): point GitHub PR search tool at current repository (#16441)

Browse source
This commit is contained in:
Karan Handa 2026-03-07 11:23:28 +05:30 • committed by GitHub
commit 28bb16ca2a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.opencode/tool/github-pr-search.txt
View file

@ -1,6 +1,6 @@
Use this tool to search GitHub pull requests by title and description. 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: This tool searches PRs in the anomalyco/opencode repository and returns LLM-friendly results including:
- PR number and title - PR number and title
- Author - Author
- State (open/closed/merged) - State (open/closed/merged)