diff --git a/bin/gftools-gen-push-lists.py b/bin/gftools-gen-push-lists.py index 8fac06ea1..c1212cb6d 100755 --- a/bin/gftools-gen-push-lists.py +++ b/bin/gftools-gen-push-lists.py @@ -24,7 +24,10 @@ def pr_directories(pr): results = set() files = pr.get_files() for f in files: - results.add(os.path.dirname(f.filename)) + if f.filename.endswith(".textproto") and f.filename.startswith(("lang", "axisregistry")): + results.add(f.filename) + else: + results.add(os.path.dirname(f.filename)) return results