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
Copy file name to clipboardExpand all lines: README.md
+3-3Lines changed: 3 additions & 3 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -868,7 +868,7 @@ The following sets of tools are available:
868
868
- 'add' - add a sub-issue to a parent issue in a GitHub repository.
869
869
- 'remove' - remove a sub-issue from a parent issue in a GitHub repository.
870
870
- 'reprioritize' - change the order of sub-issues within a parent issue in a GitHub repository. Use either 'after_id' or 'before_id' to specify the new position.
871
-
(string, required)
871
+
(string, required)
872
872
-`owner`: Repository owner (string, required)
873
873
-`replace_parent`: When true, replaces the sub-issue's current parent issue. Use with 'add' method only. (boolean, optional)
874
874
-`repo`: Repository name (string, required)
@@ -1096,8 +1096,8 @@ The following sets of tools are available:
1096
1096
1097
1097
-**pull_request_read** - Get details for a single pull request
1098
1098
-**Required OAuth Scopes**: `repo`
1099
-
-`method`: Action to specify what pull request data needs to be retrieved from GitHub.
1100
-
Possible options:
1099
+
-`method`: Action to specify what pull request data needs to be retrieved from GitHub.
1100
+
Possible options:
1101
1101
1. get - Get details of a specific pull request.
1102
1102
2. get_diff - Get the diff of a pull request.
1103
1103
3. get_status - Get status of a head commit in a pull request. This reflects status of builds and checks.
0 commit comments