Thousands of PRs a week generated by AI and requiring human review sounds like a ton, I wonder what their PR merge rate was before this?