Skip to content

Commit 17aaf6b

Browse files
LuluBeatsonLuluBeatson
authored
Migrate pull_requests toolset to Go SDK (#1466)
* migrate with agent * re-add pull_requests toolset, fix whitespace * revert changes not part of migration * revert changes not part of migration
1 parent ee72841 commit 17aaf6b

13 files changed

+1073
-933
lines changed

‎pkg/github/__toolsnaps__/add_comment_to_pending_review.snap‎

Lines changed: 31 additions & 32 deletions
Original file line numberDiff line numberDiff line change
@@ -1,73 +1,72 @@
11
{
22
"annotations": {
3-
"title": "Add review comment to the requester's latest pending pull request review",
4-
"readOnlyHint": false
3+
"title": "Add review comment to the requester's latest pending pull request review"
54
},
65
"description": "Add review comment to the requester's latest pending pull request review. A pending review needs to already exist to call this (check with the user if not sure).",
76
"inputSchema": {
7+
"type": "object",
8+
"required": [
9+
"owner",
10+
"repo",
11+
"pullNumber",
12+
"path",
13+
"body",
14+
"subjectType"
15+
],
816
"properties": {
917
"body": {
10-
"description": "The text of the review comment",
11-
"type": "string"
18+
"type": "string",
19+
"description": "The text of the review comment"
1220
},
1321
"line": {
14-
"description": "The line of the blob in the pull request diff that the comment applies to. For multi-line comments, the last line of the range",
15-
"type": "number"
22+
"type": "number",
23+
"description": "The line of the blob in the pull request diff that the comment applies to. For multi-line comments, the last line of the range"
1624
},
1725
"owner": {
18-
"description": "Repository owner",
19-
"type": "string"
26+
"type": "string",
27+
"description": "Repository owner"
2028
},
2129
"path": {
22-
"description": "The relative path to the file that necessitates a comment",
23-
"type": "string"
30+
"type": "string",
31+
"description": "The relative path to the file that necessitates a comment"
2432
},
2533
"pullNumber": {
26-
"description": "Pull request number",
27-
"type": "number"
34+
"type": "number",
35+
"description": "Pull request number"
2836
},
2937
"repo": {
30-
"description": "Repository name",
31-
"type": "string"
38+
"type": "string",
39+
"description": "Repository name"
3240
},
3341
"side": {
42+
"type": "string",
3443
"description": "The side of the diff to comment on. LEFT indicates the previous state, RIGHT indicates the new state",
3544
"enum": [
3645
"LEFT",
3746
"RIGHT"
38-
],
39-
"type": "string"
47+
]
4048
},
4149
"startLine": {
42-
"description": "For multi-line comments, the first line of the range that the comment applies to",
43-
"type": "number"
50+
"type": "number",
51+
"description": "For multi-line comments, the first line of the range that the comment applies to"
4452
},
4553
"startSide": {
54+
"type": "string",
4655
"description": "For multi-line comments, the starting side of the diff that the comment applies to. LEFT indicates the previous state, RIGHT indicates the new state",
4756
"enum": [
4857
"LEFT",
4958
"RIGHT"
50-
],
51-
"type": "string"
59+
]
5260
},
5361
"subjectType": {
62+
"type": "string",
5463
"description": "The level at which the comment is targeted",
5564
"enum": [
5665
"FILE",
5766
"LINE"
58-
],
59-
"type": "string"
67+
]
6068
}
61-
},
62-
"required": [
63-
"owner",
64-
"repo",
65-
"pullNumber",
66-
"path",
67-
"body",
68-
"subjectType"
69-
],
70-
"type": "object"
69+
}
7170
},
7271
"name": "add_comment_to_pending_review"
7372
}

‎pkg/github/__toolsnaps__/create_pull_request.snap‎

Lines changed: 26 additions & 27 deletions
Original file line numberDiff line numberDiff line change
@@ -1,52 +1,51 @@
11
{
22
"annotations": {
3-
"title": "Open new pull request",
4-
"readOnlyHint": false
3+
"title": "Open new pull request"
54
},
65
"description": "Create a new pull request in a GitHub repository.",
76
"inputSchema": {
7+
"type": "object",
8+
"required": [
9+
"owner",
10+
"repo",
11+
"title",
12+
"head",
13+
"base"
14+
],
815
"properties": {
916
"base": {
10-
"description": "Branch to merge into",
11-
"type": "string"
17+
"type": "string",
18+
"description": "Branch to merge into"
1219
},
1320
"body": {
14-
"description": "PR description",
15-
"type": "string"
21+
"type": "string",
22+
"description": "PR description"
1623
},
1724
"draft": {
18-
"description": "Create as draft PR",
19-
"type": "boolean"
25+
"type": "boolean",
26+
"description": "Create as draft PR"
2027
},
2128
"head": {
22-
"description": "Branch containing changes",
23-
"type": "string"
29+
"type": "string",
30+
"description": "Branch containing changes"
2431
},
2532
"maintainer_can_modify": {
26-
"description": "Allow maintainer edits",
27-
"type": "boolean"
33+
"type": "boolean",
34+
"description": "Allow maintainer edits"
2835
},
2936
"owner": {
30-
"description": "Repository owner",
31-
"type": "string"
37+
"type": "string",
38+
"description": "Repository owner"
3239
},
3340
"repo": {
34-
"description": "Repository name",
35-
"type": "string"
41+
"type": "string",
42+
"description": "Repository name"
3643
},
3744
"title": {
38-
"description": "PR title",
39-
"type": "string"
45+
"type": "string",
46+
"description": "PR title"
4047
}
41-
},
42-
"required": [
43-
"owner",
44-
"repo",
45-
"title",
46-
"head",
47-
"base"
48-
],
49-
"type": "object"
48+
}
5049
},
5150
"name": "create_pull_request"
5251
}

‎pkg/github/__toolsnaps__/list_pull_requests.snap‎

Lines changed: 26 additions & 26 deletions
Original file line numberDiff line numberDiff line change
@@ -1,71 +1,71 @@
11
{
22
"annotations": {
3-
"title": "List pull requests",
4-
"readOnlyHint": true
3+
"readOnlyHint": true,
4+
"title": "List pull requests"
55
},
66
"description": "List pull requests in a GitHub repository. If the user specifies an author, then DO NOT use this tool and use the search_pull_requests tool instead.",
77
"inputSchema": {
8+
"type": "object",
9+
"required": [
10+
"owner",
11+
"repo"
12+
],
813
"properties": {
914
"base": {
10-
"description": "Filter by base branch",
11-
"type": "string"
15+
"type": "string",
16+
"description": "Filter by base branch"
1217
},
1318
"direction": {
19+
"type": "string",
1420
"description": "Sort direction",
1521
"enum": [
1622
"asc",
1723
"desc"
18-
],
19-
"type": "string"
24+
]
2025
},
2126
"head": {
22-
"description": "Filter by head user/org and branch",
23-
"type": "string"
27+
"type": "string",
28+
"description": "Filter by head user/org and branch"
2429
},
2530
"owner": {
26-
"description": "Repository owner",
27-
"type": "string"
31+
"type": "string",
32+
"description": "Repository owner"
2833
},
2934
"page": {
35+
"type": "number",
3036
"description": "Page number for pagination (min 1)",
31-
"minimum": 1,
32-
"type": "number"
37+
"minimum": 1
3338
},
3439
"perPage": {
40+
"type": "number",
3541
"description": "Results per page for pagination (min 1, max 100)",
36-
"maximum": 100,
3742
"minimum": 1,
38-
"type": "number"
43+
"maximum": 100
3944
},
4045
"repo": {
41-
"description": "Repository name",
42-
"type": "string"
46+
"type": "string",
47+
"description": "Repository name"
4348
},
4449
"sort": {
50+
"type": "string",
4551
"description": "Sort by",
4652
"enum": [
4753
"created",
4854
"updated",
4955
"popularity",
5056
"long-running"
51-
],
52-
"type": "string"
57+
]
5358
},
5459
"state": {
60+
"type": "string",
5561
"description": "Filter by state",
5662
"enum": [
5763
"open",
5864
"closed",
5965
"all"
60-
],
61-
"type": "string"
66+
]
6267
}
63-
},
64-
"required": [
65-
"owner",
66-
"repo"
67-
],
68-
"type": "object"
68+
}
6969
},
7070
"name": "list_pull_requests"
7171
}

‎pkg/github/__toolsnaps__/merge_pull_request.snap‎

Lines changed: 20 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -1,47 +1,46 @@
11
{
22
"annotations": {
3-
"title": "Merge pull request",
4-
"readOnlyHint": false
3+
"title": "Merge pull request"
54
},
65
"description": "Merge a pull request in a GitHub repository.",
76
"inputSchema": {
7+
"type": "object",
8+
"required": [
9+
"owner",
10+
"repo",
11+
"pullNumber"
12+
],
813
"properties": {
914
"commit_message": {
10-
"description": "Extra detail for merge commit",
11-
"type": "string"
15+
"type": "string",
16+
"description": "Extra detail for merge commit"
1217
},
1318
"commit_title": {
14-
"description": "Title for merge commit",
15-
"type": "string"
19+
"type": "string",
20+
"description": "Title for merge commit"
1621
},
1722
"merge_method": {
23+
"type": "string",
1824
"description": "Merge method",
1925
"enum": [
2026
"merge",
2127
"squash",
2228
"rebase"
23-
],
24-
"type": "string"
29+
]
2530
},
2631
"owner": {
27-
"description": "Repository owner",
28-
"type": "string"
32+
"type": "string",
33+
"description": "Repository owner"
2934
},
3035
"pullNumber": {
31-
"description": "Pull request number",
32-
"type": "number"
36+
"type": "number",
37+
"description": "Pull request number"
3338
},
3439
"repo": {
35-
"description": "Repository name",
36-
"type": "string"
40+
"type": "string",
41+
"description": "Repository name"
3742
}
38-
},
39-
"required": [
40-
"owner",
41-
"repo",
42-
"pullNumber"
43-
],
44-
"type": "object"
43+
}
4544
},
4645
"name": "merge_pull_request"
4746
}

0 commit comments

Comments
 (0)