dev: update from main#4421

Merged

ralfhandl merged 4 commits intodevfrom

Mar 10, 2025

Commits on Mar 6, 2025

check-restricted-files.yaml: check for allowed PRs
ralfhandl
committed

Commits on Mar 7, 2025

Commits on Mar 9, 2025

Merge pull request #4409 from OAI/main-check-restricted-files-and-allow-some-PRs
miqui
authored