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

Update PR with review comments #174

Merged
merged 15 commits into from
Oct 22, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions openhands_resolver/github_issue.py
Original file line number Diff line number Diff line change
Expand Up @@ -7,3 +7,6 @@ class GithubIssue(BaseModel):
number: int
title: str
body: str
closing_issues: list[str] | None = None
review_comments: list[str] | None = None
head_branch: str | None = None
17 changes: 17 additions & 0 deletions openhands_resolver/prompts/resolve/basic-followup.jinja
Original file line number Diff line number Diff line change
@@ -0,0 +1,17 @@
The current code is an attempt at fixing one or more issues. The code is not satisfactory and follow up feedback have been provided to address this.
Please update the code based on the feedback for the repository in /workspace.
An environment has been set up for you to start working. You may assume all necessary tools are installed.

# Issues addressed
{{ issues }}

# Feedback chain
{{ body }}

IMPORTANT: You should ONLY interact with the environment provided to you AND NEVER ASK FOR HUMAN HELP.
You SHOULD INCLUDE PROPER INDENTATION in your edit commands.{% if repo_instruction %}

Some basic information about this repository:
{{ repo_instruction }}{% endif %}

When you think you have fixed the issue through code changes, please run the following command: <execute_bash> exit </execute_bash>.
Loading