create_github_issue
Generate a GitHub issue in a specified repository with title, body, and labels. Link the issue to a pull request using a comment to track resolutions. Useful for GitHub repository issue management.
Instructions
Creates a GitHub issue in the specified repository.
Then use add_github_pr_comment to link the issue to the PR with comment "Resolves #<issue_number>".
Args:
repo_owner (str): The owner of the GitHub repository.
repo_name (str): The name of the GitHub repository.
title (str): The title of the issue to be created.
body (str): The body content of the issue.
labels (list[str]): A list of labels to assign to the issue.
Returns:
str: A message indicating the result of the issue creation. Returns a success message if the issue is created successfully, or an error message if an exception occurs.
Error Handling:
Logs and returns an error message if an exception is raised during the issue creation process. The exception traceback is also printed to stderr for debugging purposes.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| body | Yes | ||
| labels | Yes | ||
| repo_name | Yes | ||
| repo_owner | Yes | ||
| title | Yes |
Input Schema (JSON Schema)
{
"properties": {
"body": {
"title": "Body",
"type": "string"
},
"labels": {
"items": {
"type": "string"
},
"title": "Labels",
"type": "array"
},
"repo_name": {
"title": "Repo Name",
"type": "string"
},
"repo_owner": {
"title": "Repo Owner",
"type": "string"
},
"title": {
"title": "Title",
"type": "string"
}
},
"required": [
"repo_owner",
"repo_name",
"title",
"body",
"labels"
],
"title": "create_github_issueArguments",
"type": "object"
}