Update third-party rules as of 2025-10-01#1147

Merged

egibs merged 1 commit into

mainfrom

third-party-rule-update-2025-10-01

Oct 1, 2025

Commits on Oct 1, 2025

Update third-party rules as of 2025-10-01
github-actions[bot]
committed