Delegate a Linear or GitHub issue
delegate_ticketHand an existing Linear issue or GitHub issue to Sinatra as you, as if you'd assigned it to Sinatra yourself. Sinatra assigns or labels the issue, and its agent may push a branch and open a pull request. The task's conversation stays on that issue (follow_up and get_messages don't apply); list_tasks shows its progress.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| id | No | Linear only: the issue identifier (e.g. ENG-123) or id. | |
| repo | No | GitHub only: owner/name of a connected repository. | |
| number | No | GitHub only: the issue number. | |
| source | Yes | ||
| workspace_id | Yes | The workspace id (from whoami). |