9 ms·
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.
by theRealMe 3y ago
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.
- williamzeng0 3y ago+1, The PRs we made 2 months ago were really bad. That's also been the biggest barrier to getting them merged. Definitely check out what we've been able to merge now though. The ceiling for tools like Sweep is incredibly high.