From 65306af557f63b5a3a6d4fc5a81d27e09d362861 Mon Sep 17 00:00:00 2001 From: Karma Riuk Date: Mon, 17 Mar 2025 10:48:09 +0100 Subject: [PATCH] now saving the dataset after each successfully stored PR --- pull_requests.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/pull_requests.py b/pull_requests.py index 0ccaf40..07951a9 100644 --- a/pull_requests.py +++ b/pull_requests.py @@ -134,6 +134,8 @@ def process_pull(repo: Repository, pr: PullRequest, dataset: Dataset, repos_dir: finally: build_handler.clean_repo() + dataset.to_json(args.output) + def process_repo(repo_name: str, stats_df: Optional[pd.DataFrame], dataset: Dataset, repos_dir: str): good_prs = []