Github Project Manager
get_issue
Get details of a specific issue in a GitHub repository.
Input Schema
Name | Required | Description | Default |
---|---|---|---|
issue_number | Yes | Issue number | |
owner | Yes | Repository owner (username or organization) | |
repo | Yes | Repository name |
Input Schema (JSON Schema)
You must be authenticated.
Other Tools
- add_issue_comment
- add_project_item
- create_issue
- create_project
- create_pull_request
- create_pull_request_review
- create_pull_request_review_comment
- get_issue
- get_pull_request
- is_pull_request_merged
- list_issues
- list_project_items
- list_pull_request_review_comments
- list_pull_request_reviews
- list_pull_requests
- merge_pull_request
- remove_requested_reviewers
- request_reviewers
- update_issue
- update_project_item
- update_pull_request
- update_pull_request_branch