-
Notifications
You must be signed in to change notification settings - Fork 10
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
Ability to update a PR branch based on review comments #27
Comments
OpenHands started fixing the issue! You can monitor the progress here. |
An attempt was made to automatically fix this issue, but it was unsuccessful. A branch named 'openhands-fix-issue-27' has been created with the attempted changes. You can view the branch here. Manual intervention may be required. |
OpenHands started fixing the issue! You can monitor the progress here. |
An attempt was made to automatically fix this issue, but it was unsuccessful. A branch named 'openhands-fix-issue-27' has been created with the attempted changes. You can view the branch here. Manual intervention may be required. |
Fixed by #174. |
Currently this repo has code to send new pull requests based on existing issues. I would like to add the ability to update the pull request based on review comments.
The workflow will be
We should update
github_resolver/resolve_issues.py
so that we have a flag--issue-type
that can be set topr
, in which case PRs are considered instead of issues.The text was updated successfully, but these errors were encountered: