From c66ae227737e9c94f6a66098fb12311e1f37e8d1 Mon Sep 17 00:00:00 2001 From: Mergen Nachin Date: Mon, 13 Oct 2025 15:41:09 -0400 Subject: [PATCH] Ignore PRs that's empty --- scripts/pick_doc_commits.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/pick_doc_commits.py b/scripts/pick_doc_commits.py index 85958c36977..accec00dda3 100755 --- a/scripts/pick_doc_commits.py +++ b/scripts/pick_doc_commits.py @@ -129,7 +129,7 @@ def is_doc_file(path: str) -> bool: all_files = frozenset(lines[1:]) doc_files = frozenset(filter(is_doc_file, all_files)) non_doc_files = all_files - doc_files - is_doc_only = all_files == doc_files + is_doc_only = (all_files == doc_files) and len(all_files) > 0 if verbosity > 0 and not is_doc_only: debug_log(