Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

allow the github-resolver github action to be triggered by comments on issues or PRs #232

Open
rbren opened this issue Nov 2, 2024 · 3 comments
Assignees
Labels
enhancement New feature or request

Comments

@rbren
Copy link
Contributor

rbren commented Nov 2, 2024

The workflow we provide here can be trigger with a github action like the one in examples/openhands-resolver.yml, where it responds to issues that have been tagged

Please modify our workflow so that it can also be triggered by comments on issues or PRs, but only if the comment contains @openhands-agent (the name must be configurable by the user of the Action)

This should pull in the original issue/PR text, as well as the new comment, as the text that's passed to the agent as a prompt. If the comment is on a PR, and the PR mentions an issue in the description, it should also pull in the text of the linked issue

@rbren rbren added the fix-me Try to automatically fix the issue with OpenHands label Nov 2, 2024
Copy link

github-actions bot commented Nov 2, 2024

OpenHands started fixing the issue! You can monitor the progress here.

Copy link

github-actions bot commented Nov 2, 2024

An attempt was made to automatically fix this issue, but it was unsuccessful. A branch named 'openhands-fix-issue-232' has been created with the attempted changes. You can view the branch here. Manual intervention may be required.

@neubig neubig added bug Something isn't working enhancement New feature or request and removed fix-me Try to automatically fix the issue with OpenHands bug Something isn't working labels Nov 6, 2024
@malhotra5
Copy link
Collaborator

I could take a shot at this one 🙂

@malhotra5 malhotra5 self-assigned this Nov 8, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

3 participants