Handle pull request comments only after having handled all unresollved issues. #103

Closed
Jmaa wants to merge 5 commits from issue-102-handle-pull-request-comments-only-after-having-handled-all-unresollved-issues into main
Showing only changes of commit 4c91d624de - Show all commits

View File

@ -533,7 +533,6 @@ def solve_issues_in_repository(
issue_number,
)
# once all new issues are done, process any PR comments in batch
for issue_url, pr_id, branch_name in jobs:
with tempfile.TemporaryDirectory() as repository_path:
@ -549,6 +548,7 @@ def solve_issues_in_repository(
issue_url,
)
def handle_pr_comments(
repository_config,
pr_number,