On Friday, June 14, 2024 at 11:52:00 PM UTC-7 Vincent Delecroix wrote: > Ideally, there would be a "make the feature even nicer" solution rather than "get rid of that s***". Though, this requires a concrete proposal more than a vote
Exactly, that's why a proper participation in the discussion before calling a vote would have been necessary. I did share one concrete proposal in https://groups.google.com/g/sage-devel/c/w4IeYgXgVUc/m/N-Qrk3hzAwAJ. Let's call it (B7) Automatic labeling, but reduce the feature to: A size label "\tiny" (to encourage quick reviews of trivial changes); a size label "\HUGE" (to help flag problematic PRs). No size labels for "medium-sized" PRs (they do not add much). I vote for (B7). -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/80159270-ddeb-4d50-ad93-834f7c19d6c4n%40googlegroups.com.
