zenhub_search_issues_in_repository
Search and filter issues in a workspace by user, repository, and pipeline to find specific tasks or bugs.
Instructions
Search and filter issues in a workspace by user, repository, and pipeline. Use zenhub_get_workspace_overview to get repository IDs and pipeline IDs before using this tool.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"workspace_id": "<workspace_id>",
"query": "<query>",
"repo_ids": "<repo_ids>",
"pipeline_ids": "<pipeline_ids>"
},
"name": "zenhub_search_issues_in_repository"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| workspace_id | Yes | Workspace ID to search in | |
| query | Yes | Query to search for user (github login name), content, title | |
| repo_ids | Yes | Array of repository IDs to filter. | |
| pipeline_ids | Yes | Array of pipeline IDs to filter. |