+1. Always good to put more thought into existing issues. Yufei
On Thu, Jan 16, 2025 at 1:56 PM Michael Collado <collado.m...@gmail.com> wrote: > Hey folks > > There are over 40 issues with the "bug" label in github right now, many of > which are not actually bugs, but seem to me like personal preferences or > possible improvements. A lot of these issues seem like reasonable or good > changes to me, but I think we should reserve the "bug" label for things > that are actual bugs. Can we remove the bug label from issues that aren't > actually broken? > > Mike >
