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.
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. |