You signed in with another tab or window.Reload to refresh your session.You signed out in another tab or window.Reload to refresh your session.You switched accounts on another tab or window.Reload to refresh your session.Dismiss alert
"description":"Get information on a specific pull request in GitHub repository.",
7
+
"inputSchema": {
8
+
"properties": {
9
+
"method": {
10
+
"description":"Action to specify what pull request data needs to be retrieved from GitHub.\nPossible options:\n 1. get - Get details of a specific pull request.\n 2. get_diff - Get the diff of a pull request.\n 3. get_status - Get status of a head commit in a pull request. This reflects status of builds and checks.\n 4. get_files - Get the list of files changed in a pull request. Use with pagination parameters to control the number of results returned.\n 5. get_review_comments - Get the review comments on a pull request. Use with pagination parameters to control the number of results returned.\n 6. get_reviews - Get the reviews on a pull request. When asked for review comments, use get_review_comments method.\n",
11
+
"type":"string"
12
+
},
13
+
"owner": {
14
+
"description":"Repository owner",
15
+
"type":"string"
16
+
},
17
+
"page": {
18
+
"description":"Page number for pagination (min 1)",
19
+
"minimum":1,
20
+
"type":"number"
21
+
},
22
+
"perPage": {
23
+
"description":"Results per page for pagination (min 1, max 100)",