You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: pkg/github/instructions.go
+9Lines changed: 9 additions & 0 deletions
Original file line number
Diff line number
Diff line change
@@ -62,6 +62,15 @@ Check 'list_issue_types' first for organizations to use proper issue types. Use
62
62
return`## Discussions
63
63
64
64
Use 'list_discussion_categories' to understand available categories before creating discussions. Filter by category for better organization.`
65
+
case"github_docs":
66
+
return`## GitHub Docs
67
+
68
+
When searching GitHub documentation:
69
+
1. First, call 'search_github_docs' to find relevant documentation pages
70
+
2. Then, present ALL relevant results as a list with clickable hyperlinks to the user
71
+
3. Finally, use 'fetch_webpage' to retrieve the full content from one or more of the returned URLs to provide a detailed answer grounded in the documentation
72
+
73
+
Always show the search results before fetching and summarizing the content.`
0 commit comments