copilot-swe-agent[bot]
87a1110c15
Sort all JSON object keys alphabetically at every level in toolsnaps by unmarshaling and remarshaling. This leverages Go's built-in behavior where json.Marshal automatically sorts map keys alphabetically, ensuring consistent field ordering and eliminating noop churn in diffs. Co-authored-by: SamMorrowDrums <4811358+SamMorrowDrums@users.noreply.github.com>
59 lines
1.8 KiB
Plaintext
59 lines
1.8 KiB
Plaintext
{
|
|
"annotations": {
|
|
"readOnlyHint": true,
|
|
"title": "Get details of GitHub Projects resources"
|
|
},
|
|
"description": "Get details about specific GitHub Projects resources.\nUse this tool to get details about individual projects, project fields, and project items by their unique IDs.\n",
|
|
"inputSchema": {
|
|
"properties": {
|
|
"field_id": {
|
|
"description": "The field's ID. Required for 'get_project_field' method.",
|
|
"type": "number"
|
|
},
|
|
"fields": {
|
|
"description": "Specific list of field IDs to include in the response when getting a project item (e.g. [\"102589\", \"985201\", \"169875\"]). If not provided, only the title field is included. Only used for 'get_project_item' method.",
|
|
"items": {
|
|
"type": "string"
|
|
},
|
|
"type": "array"
|
|
},
|
|
"item_id": {
|
|
"description": "The item's ID. Required for 'get_project_item' method.",
|
|
"type": "number"
|
|
},
|
|
"method": {
|
|
"description": "The method to execute",
|
|
"enum": [
|
|
"get_project",
|
|
"get_project_field",
|
|
"get_project_item"
|
|
],
|
|
"type": "string"
|
|
},
|
|
"owner": {
|
|
"description": "If owner_type == user it is the handle for the GitHub user account. If owner_type == org it is the name of the organization. The name is not case sensitive.",
|
|
"type": "string"
|
|
},
|
|
"owner_type": {
|
|
"description": "Owner type",
|
|
"enum": [
|
|
"user",
|
|
"org"
|
|
],
|
|
"type": "string"
|
|
},
|
|
"project_number": {
|
|
"description": "The project's number.",
|
|
"type": "number"
|
|
}
|
|
},
|
|
"required": [
|
|
"method",
|
|
"owner_type",
|
|
"owner",
|
|
"project_number"
|
|
],
|
|
"type": "object"
|
|
},
|
|
"name": "projects_get"
|
|
} |