top | item 36988694 (no title) theRealMe | 2 years 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. discuss order hn newest williamzeng0|2 years 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.
williamzeng0|2 years 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.
williamzeng0|2 years ago
Definitely check out what we've been able to merge now though. The ceiling for tools like Sweep is incredibly high.