compile_contributors.py` `--paths` option
#28710

Merged

Add `tools/python/compile_contributors.py` `--paths` option #28710

edgchen1 merged 2 commits into main from edgchen1/compile_contributors_paths

tools: add path filtering to contributor script

f11c4e6e

update example

962c2ad8

edgchen1 requested a review from

tianleiwu 77 days ago

edgchen1 requested a review from

copilot-pull-request-reviewer 77 days ago

copilot-pull-request-reviewer commented on 2026-05-28

tianleiwu approved these changes on 2026-05-28

edgchen1 merged abbc2abc into main 77 days ago

edgchen1 deleted the edgchen1/compile_contributors_paths branch 77 days ago

Reviewers

tianleiwu

Assignees

No one assigned

Labels

None yet

Milestone

No milestone