dev: update from main#4962

Merged

ralfhandl merged 2 commits intodevfrom

Sep 16, 2025

Commits on Sep 15, 2025

Allow for searching for PRs that need schema changes
karenetheridge
committed

Commits on Sep 16, 2025

Merge pull request #4960 from karenetheridge/ether/pull-request-schema-changes
ralfhandl
authored