From e097885e36c304ddccc1f23a4e05c422f192ab45 Mon Sep 17 00:00:00 2001 From: Karma Riuk Date: Wed, 28 May 2025 10:17:19 +0200 Subject: [PATCH] only writing the dataset to disk when there are new entries --- pull_requests.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/pull_requests.py b/pull_requests.py index 82a528f..0d4c0c5 100644 --- a/pull_requests.py +++ b/pull_requests.py @@ -535,8 +535,9 @@ def process_repos_parallel( repo_finished, pos = future_to_repo.pop(fut) outer_pb.update(1) entries = fut.result() - dataset.entries.extend(entries) - dataset.to_json(args.output) + if len(entries) > 0: + dataset.entries.extend(entries) + dataset.to_json(args.output) try: name = next(repo_names_iter)