Bryan Zwicker
e6e3a4e841
* Return closing pull requests from issue_read Answering "is there a PR that closes this issue?" previously required listing pull requests and grepping their bodies for closing keywords, which is expensive and unreliable. GraphQL already exposes Issue.closedByPullRequestsReferences. Add it to the existing issue_read `get` enrichment query so the answer comes back in the same round-trip as the hierarchy signals, as a compact `closed_by_pull_requests` list. An enriched issue with no closing pull requests serializes an explicit empty list so an agent can stop looking. Lockdown mode filters references whose author cannot be verified as safe content, mirroring the existing parent reference handling. Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com> Copilot-Session: a0b58914-0d94-47a9-8229-c0ef7e32e69f * Cap embedded closing pull requests and report the total This enrichment runs on every issue_read get, so embedding up to 25 references costs more than the common case is worth. Embed at most 5, keeping orderByState so open pull requests are the ones that survive. Select totalCount alongside the nodes and return the summary as an object of total_count plus references, so the rare issue with more than five linked pull requests cannot be read as a complete list. The common zero-to-two case stays compact and an empty result stays definitive. Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com> Copilot-Session: a0b58914-0d94-47a9-8229-c0ef7e32e69f --------- Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com> Copilot-Session: a0b58914-0d94-47a9-8229-c0ef7e32e69f
54 lines
1.8 KiB
Plaintext
54 lines
1.8 KiB
Plaintext
{
|
|
"annotations": {
|
|
"idempotentHint": false,
|
|
"readOnlyHint": true,
|
|
"title": "Get issue details"
|
|
},
|
|
"description": "Get information about a specific issue in a GitHub repository.",
|
|
"inputSchema": {
|
|
"properties": {
|
|
"issue_number": {
|
|
"description": "The number of the issue",
|
|
"type": "number"
|
|
},
|
|
"method": {
|
|
"description": "The read operation to perform on a single issue.\nOptions are:\n1. get - Get issue details. Also returns best-effort hierarchy flags (`has_parent`, `has_children`); `parent` and `sub_issues_summary` are optional relationship summaries, and `closed_by_pull_requests` summarizes the pull requests configured to close the issue as `total_count` plus up to 5 `references`.\n2. get_comments - Get issue comments.\n3. get_sub_issues - Get sub-issues (children) of the issue.\n4. get_parent - Get the parent issue, if this issue is a sub-issue of another.\n5. get_labels - Get labels assigned to the issue.\n",
|
|
"enum": [
|
|
"get",
|
|
"get_comments",
|
|
"get_sub_issues",
|
|
"get_parent",
|
|
"get_labels"
|
|
],
|
|
"type": "string"
|
|
},
|
|
"owner": {
|
|
"description": "The owner of the repository",
|
|
"type": "string"
|
|
},
|
|
"page": {
|
|
"description": "Page number for pagination (min 1)",
|
|
"minimum": 1,
|
|
"type": "number"
|
|
},
|
|
"perPage": {
|
|
"description": "Results per page for pagination (min 1, max 100)",
|
|
"maximum": 100,
|
|
"minimum": 1,
|
|
"type": "number"
|
|
},
|
|
"repo": {
|
|
"description": "The name of the repository",
|
|
"type": "string"
|
|
}
|
|
},
|
|
"required": [
|
|
"method",
|
|
"owner",
|
|
"repo",
|
|
"issue_number"
|
|
],
|
|
"type": "object"
|
|
},
|
|
"name": "issue_read"
|
|
} |