v3.2-dev: update from dev#4964

Merged

oai-spec-publisher[bot] merged 3 commits intov3.2-devfrom

Sep 16, 2025

Commits on Sep 15, 2025

Allow for searching for PRs that need schema changes
karenetheridge
committed

Commits on Sep 16, 2025