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(