only writing the dataset to disk when there are new entries

2025-07-05 05:28:13 +02:00 · 2025-05-28 10:17:19 +02:00
parent 0b182837c1
commit e097885e36
1 changed files with 3 additions and 2 deletions
--- a/pull_requests.py
+++ b/pull_requests.py
@ -535,6 +535,7 @@ def process_repos_parallel(
                    repo_finished, pos = future_to_repo.pop(fut)
                    outer_pb.update(1)
                    entries = fut.result()
+                    if len(entries) > 0:
                        dataset.entries.extend(entries)
                        dataset.to_json(args.output)