Skip to content

main: turn auto-merge for sync PRs back on and describe it in CONTRIBUTING#5039

Merged
miqui merged 1 commit intoOAI:mainfrom
ralfhandl:main-enable-auto-merge-for-sync-prs
Oct 27, 2025
Merged

main: turn auto-merge for sync PRs back on and describe it in CONTRIBUTING#5039
miqui merged 1 commit intoOAI:mainfrom
ralfhandl:main-enable-auto-merge-for-sync-prs

Commits

Commits on Oct 20, 2025