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
Showing only changes of commit 3458826f54 - Show all commits

View File

@ -457,17 +457,28 @@ def solve_issue_in_repository(
# Verify whether this is a satisfactory solution
if verify_solution(repository_path, issue_content):
break
# 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
resolution = push_changes(
repository_config,
repository_path,
branch_name,
issue_number,
issue_title,
gitea_client,
)
if not resolution.success:
return resolution
# Push changes
return push_changes(
repository_config,
repository_path,
branch_name,
issue_number,
issue_title,
gitea_client,
)
def solve_issues_in_repository(