2ba66d5404daec3e9f194ed9b223728f1fd32e29

Author
TheEdgeOfRage <git@theedgeofrage.com>
Committer
TheEdgeOfRage <git@theedgeofrage.com>
Date

Message

Update github CLI to include issue search

Diff

 1diff --git a/dot_agents/skills/github-cli/SKILL.md b/dot_agents/skills/github-cli/SKILL.md
 2index 5f7b5bf3bcff689206f8399490692d00c2e8da0b..7a48ecbb78041771f33bfe834808f8d0a27896e8 100644
 3--- a/dot_agents/skills/github-cli/SKILL.md
 4+++ b/dot_agents/skills/github-cli/SKILL.md
 5@@ -61,7 +61,19 @@ gh api repos/owner/repo/pulls/<num>/comments -X POST \
 6   -f body="Review comment"
 7 ```
 8 
 9-#### Edit
10+#### Issue search
11+
12+Use `gh search issues` for keyword search across a repository's issue titles, bodies, and comments. `gh issue list --search` is less suitable for this.
13+
14+```bash
15+gh search issues "diff theme colors" -R owner/repo --state open \
16+  --match title,body,comments --limit 100 \
17+  --json number,title,url
18+```
19+
20+Check `gh search issues --help` for semantic or hybrid search and additional filters.
21+
22+### Edit
23 
24 ```bash
25 gh pr edit <num> --add-reviewer user --add-label label