What you just said would be a good thing(1). That would mean that more bugs are getting fixed.
(1) unless the PRs that they generate are garbage.
(1) unless the PRs that they generate are garbage.
Definitely check out what we've been able to merge now though. The ceiling for tools like Sweep is incredibly high.