Merge pull request #5039 from ralfhandl/main-enable-auto-merge-for-sync-prs
main: turn auto-merge for sync PRs back on and describe it in CONTRIBUTING
M
Miguel Quintero committed
2499167bff3ea13b85ea0b6ee9382f3ef14e39ea
Committed by GitHub <noreply@github.com>
on 10/27/2025, 1:00:36 AM