gadomski opened this issue a year ago · 0 comments
That little ❌ is getting to me :-) ... many small PRs don't need to have any patch coverage, right?