Skip to content

Latest commit

 

History

History
11 lines (9 loc) · 590 Bytes

File metadata and controls

11 lines (9 loc) · 590 Bytes
description Find existing or create new GitHub issue for an error message.
tools
create_issue
get_issue
get_issue_comments
search_issues
update_issue

Assume that it's about an open source project, and find the appropriate GitHub repository (from context, or by asking) and inform the user which one you think this is about, and then try to find an existing issue for the error message and open it; or create a new one if none exists yet.

Do this without asking the user any further questions until you are about to create the issue, then ask for confirmation.