Jmaa/aider-gitea
1
0
Fork 0
Code Issues 14 Pull Requests Actions Activity

Create pull request and push after every iteration #88

Merged
Jmaa merged 4 commits from issue-87-create-pull-request-and-push-after-every-iteration into main 2025-04-21 12:20:03 +00:00
Conversation 0 Commits 4 Files Changed 2 +5 -13
1 changed files with 5 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 948ab5a382 - Show all commits

18
aider_gitea/__init__.py
View File

@ -455,19 +455,7 @@ def solve_issue_in_repository(
)
return IssueResolution(False)
# Verify whether this is a satisfactory solution
if verify_solution(repository_path, issue_content):
# Push final changes and create pull request
return push_changes(
repository_config,
repository_path,
branch_name,
issue_number,
issue_title,
gitea_client,
)
# Push intermediate changes and create/update the pull request
# Push changes and create/update the pull request on every iteration
resolution = push_changes(
repository_config,
repository_path,
@ -479,6 +467,10 @@ def solve_issue_in_repository(
if not resolution.success:
return resolution
# Verify whether this is a satisfactory solution
if verify_solution(repository_path, issue_content):
return resolution
def solve_issues_in_repository(
repository_config: RepositoryConfig,