Closed mlamina closed 4 months ago
I've successfully added the add_label_to_issue
and remove_label_from_issue
functions to the github_agent.py
file, as requested. These new tools will allow the PR Pilot agent to add or remove labels from issues more efficiently.
PR: ✨ Added label management functions to github_agent.py
If you require further changes, continue our conversation over there!
Is your feature request related to a problem? Please describe. At the moment, the agent needs to use the
edit_github_issue
tool to add/remove labels, which is a lot of overhead.Describe the solution you'd like In addition to
edit_github_issue
, it should have two tools:add_label_to_issue(issue_number, label)
remove_label_from_issue(issue_number, label)
How does the new feature benefit PR Pilot users? This makes the agent faster and cheaper, because it's not reading and writing the entire issue content.