End-user friendly description of the problem this fixes or functionality that this introduces
[ ] Include this change in the Release Notes. If checked, you must provide an end-user friendly description for your change below
Give a summary of what the PR does, explaining any non-trivial design decisions
This PR refactors openhands-resolver to filter issues to the target ones before fetching their metadata. This minimizes the number of Github API request made.
End-user friendly description of the problem this fixes or functionality that this introduces
Give a summary of what the PR does, explaining any non-trivial design decisions
This PR refactors
openhands-resolverto filter issues to the target ones before fetching their metadata. This minimizes the number of Github API request made.Link of any specific issues this addresses
5034