One human. Agents. 3,913 merged PRs in 30 days

github.com

3 pointsungfu1 comment

I think PR doesn't mean actual work load, but this level of throughput is still impressive. I guess there was something unusual in the workflow.