Skip to content

Allow bot to ignore changed files e.g. when github api has not properly updated file count - #2806

Merged
smuzaffar merged 1 commit into
masterfrom
large-prs-files
Jul 2, 2026
Merged

Allow bot to ignore changed files e.g. when github api has not properly updated file count#2806
smuzaffar merged 1 commit into
masterfrom
large-prs-files

Commits

Commits on Jul 2, 2026