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
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| body | Yes | ||
| labels | Yes | ||
| repo_name | Yes | ||
| repo_owner | Yes | ||
| title | Yes |