Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
41 changes: 20 additions & 21 deletions pkg/github/__toolsnaps__/add_project_item.snap
Original file line number Diff line number Diff line change
@@ -1,48 +1,47 @@
{
"annotations": {
"title": "Add project item",
"readOnlyHint": false
"title": "Add project item"
Copy link

Copilot AI Nov 24, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The toolsnap file is missing "readOnlyHint": false in the annotations for this write operation. Other write tools in the codebase (e.g., create_branch.snap, push_files.snap, star_repository.snap) include this field. Since AddProjectItem correctly sets ReadOnlyHint: false in the code (line 649 of projects.go), the toolsnap should reflect this.

The toolsnap should include:

"annotations": {
  "title": "Add project item",
  "readOnlyHint": false
},

This needs to be regenerated by running UPDATE_TOOLSNAPS=true go test ./....

Suggested change
"title": "Add project item"
"title": "Add project item",
"readOnlyHint": false

Copilot uses AI. Check for mistakes.
},
"description": "Add a specific Project item for a user or org",
"inputSchema": {
"type": "object",
"required": [
"owner_type",
"owner",
"project_number",
"item_type",
"item_id"
],
"properties": {
"item_id": {
"description": "The numeric ID of the issue or pull request to add to the project.",
"type": "number"
"type": "number",
"description": "The numeric ID of the issue or pull request to add to the project."
},
"item_type": {
"type": "string",
"description": "The item's type, either issue or pull_request.",
"enum": [
"issue",
"pull_request"
],
"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"
"type": "string",
"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."
},
"owner_type": {
"type": "string",
"description": "Owner type",
"enum": [
"user",
"org"
],
"type": "string"
]
},
"project_number": {
"description": "The project's number.",
"type": "number"
"type": "number",
"description": "The project's number."
}
},
"required": [
"owner_type",
"owner",
"project_number",
"item_type",
"item_id"
],
"type": "object"
}
},
"name": "add_project_item"
}
35 changes: 17 additions & 18 deletions pkg/github/__toolsnaps__/delete_project_item.snap
Original file line number Diff line number Diff line change
@@ -1,39 +1,38 @@
{
"annotations": {
"title": "Delete project item",
"readOnlyHint": false
"title": "Delete project item"
Copy link

Copilot AI Nov 24, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The toolsnap file is missing "readOnlyHint": false in the annotations for this write operation. Other write tools in the codebase (e.g., create_branch.snap, push_files.snap, star_repository.snap) include this field. Since DeleteProjectItem correctly sets ReadOnlyHint: false in the code (line 862 of projects.go), the toolsnap should reflect this.

The toolsnap should include:

"annotations": {
  "title": "Delete project item",
  "readOnlyHint": false
},

This needs to be regenerated by running UPDATE_TOOLSNAPS=true go test ./....

Suggested change
"title": "Delete project item"
"title": "Delete project item",
"readOnlyHint": false

Copilot uses AI. Check for mistakes.
},
"description": "Delete a specific Project item for a user or org",
"inputSchema": {
"type": "object",
"required": [
"owner_type",
"owner",
"project_number",
"item_id"
],
"properties": {
"item_id": {
"description": "The internal project item ID to delete from the project (not the issue or pull request ID).",
"type": "number"
"type": "number",
"description": "The internal project item ID to delete from the project (not the issue or pull request ID)."
},
"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"
"type": "string",
"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."
},
"owner_type": {
"type": "string",
"description": "Owner type",
"enum": [
"user",
"org"
],
"type": "string"
]
},
"project_number": {
"description": "The project's number.",
"type": "number"
"type": "number",
"description": "The project's number."
}
},
"required": [
"owner_type",
"owner",
"project_number",
"item_id"
],
"type": "object"
}
},
"name": "delete_project_item"
}
30 changes: 15 additions & 15 deletions pkg/github/__toolsnaps__/get_project.snap
Original file line number Diff line number Diff line change
@@ -1,34 +1,34 @@
{
"annotations": {
"title": "Get project",
"readOnlyHint": true
"readOnlyHint": true,
"title": "Get project"
},
"description": "Get Project for a user or org",
"inputSchema": {
"type": "object",
"required": [
"project_number",
"owner_type",
"owner"
],
"properties": {
"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"
"type": "string",
"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."
},
"owner_type": {
"type": "string",
"description": "Owner type",
"enum": [
"user",
"org"
],
"type": "string"
]
},
"project_number": {
"description": "The project's number",
"type": "number"
"type": "number",
"description": "The project's number"
}
},
"required": [
"project_number",
"owner_type",
"owner"
],
"type": "object"
}
},
"name": "get_project"
}
36 changes: 18 additions & 18 deletions pkg/github/__toolsnaps__/get_project_field.snap
Original file line number Diff line number Diff line change
@@ -1,39 +1,39 @@
{
"annotations": {
"title": "Get project field",
"readOnlyHint": true
"readOnlyHint": true,
"title": "Get project field"
},
"description": "Get Project field for a user or org",
"inputSchema": {
"type": "object",
"required": [
"owner_type",
"owner",
"project_number",
"field_id"
],
"properties": {
"field_id": {
"description": "The field's id.",
"type": "number"
"type": "number",
"description": "The field's id."
},
"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"
"type": "string",
"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."
},
"owner_type": {
"type": "string",
"description": "Owner type",
"enum": [
"user",
"org"
],
"type": "string"
]
},
"project_number": {
"description": "The project's number.",
"type": "number"
"type": "number",
"description": "The project's number."
}
},
"required": [
"owner_type",
"owner",
"project_number",
"field_id"
],
"type": "object"
}
},
"name": "get_project_field"
}
40 changes: 20 additions & 20 deletions pkg/github/__toolsnaps__/get_project_item.snap
Original file line number Diff line number Diff line change
@@ -1,46 +1,46 @@
{
"annotations": {
"title": "Get project item",
"readOnlyHint": true
"readOnlyHint": true,
"title": "Get project item"
},
"description": "Get a specific Project item for a user or org",
"inputSchema": {
"type": "object",
"required": [
"owner_type",
"owner",
"project_number",
"item_id"
],
"properties": {
"fields": {
"type": "array",
"description": "Specific list of field IDs to include in the response (e.g. [\"102589\", \"985201\", \"169875\"]). If not provided, only the title field is included.",
"items": {
"type": "string"
},
"type": "array"
}
},
"item_id": {
"description": "The item's ID.",
"type": "number"
"type": "number",
"description": "The item's ID."
},
"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"
"type": "string",
"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."
},
"owner_type": {
"type": "string",
"description": "Owner type",
"enum": [
"user",
"org"
],
"type": "string"
]
},
"project_number": {
"description": "The project's number.",
"type": "number"
"type": "number",
"description": "The project's number."
}
},
"required": [
"owner_type",
"owner",
"project_number",
"item_id"
],
"type": "object"
}
},
"name": "get_project_item"
}
42 changes: 21 additions & 21 deletions pkg/github/__toolsnaps__/list_project_fields.snap
Original file line number Diff line number Diff line change
@@ -1,46 +1,46 @@
{
"annotations": {
"title": "List project fields",
"readOnlyHint": true
"readOnlyHint": true,
"title": "List project fields"
},
"description": "List Project fields for a user or org",
"inputSchema": {
"type": "object",
"required": [
"owner_type",
"owner",
"project_number"
],
"properties": {
"after": {
"description": "Forward pagination cursor from previous pageInfo.nextCursor.",
"type": "string"
"type": "string",
"description": "Forward pagination cursor from previous pageInfo.nextCursor."
},
"before": {
"description": "Backward pagination cursor from previous pageInfo.prevCursor (rare).",
"type": "string"
"type": "string",
"description": "Backward pagination cursor from previous pageInfo.prevCursor (rare)."
},
"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"
"type": "string",
"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."
},
"owner_type": {
"type": "string",
"description": "Owner type",
"enum": [
"user",
"org"
],
"type": "string"
]
},
"per_page": {
"description": "Results per page (max 50)",
"type": "number"
"type": "number",
"description": "Results per page (max 50)"
},
"project_number": {
"description": "The project's number.",
"type": "number"
"type": "number",
"description": "The project's number."
}
},
"required": [
"owner_type",
"owner",
"project_number"
],
"type": "object"
}
},
"name": "list_project_fields"
}
Loading
Loading