Search Linear and GitHub issues
search_ticketsSearch the open Linear and GitHub issues you could delegate to Sinatra: yours first, then your team's unassigned ones, leaving out issues assigned to someone else or already being worked on. Pass a ticket to delegate_ticket: for Linear, its identifier as id; for GitHub, its identifier's owner/name as repo and number. linear and github say whether each tracker is connected and your Linear account linked. Reads only.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | No | owner/name of a connected repository to search first on GitHub. | |
| query | No | Text to match: GitHub search terms, or a substring of a Linear issue's title. Omit to list without filtering. | |
| workspace_id | Yes | The workspace id (from whoami). |