Comment by marius_

There is no "small team" pushing 100PRs/day, agents or not.