In that case, let me do a proposal. Introduce a new label distinct from "blocker" for
usage 2: PRs that should be merged temporarily before CI tests run (even though I think that "merged temporarily" would better be clarified) Vincent On Mon, 26 Feb 2024 at 18:35, Matthias Koeppe <matthiaskoe...@gmail.com> wrote: > > On Monday, February 26, 2024 at 5:31:47 AM UTC-8 Kwankyu Lee wrote: > > Anyway, as there are only objections here, I give up. > > Thanks for opinions. > > > On Monday, February 26, 2024 at 6:02:41 AM UTC-8 Vincent Delecroix wrote: > > Dear Kwankyu, > Either you give up because people disagree with you (which is a > problem about yourself) or you feel like your proposal was not given > the credit it should have been (which is a problem with the tone of > the "commenters" e-mails). Or maybe something else. But sending an > e-mail saying that you give up because of objections is neither > helping the discussion nor the technical problem that you pointed out > in your initial e-mail. > > > Vincent, I think both are unnecessarily harsh readings of "I give up." > > I read Kwankyu's post simply as "I am withdrawing my proposal". > > > -- > 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/0857b65d-3e62-49c2-a622-d692d836bce2n%40googlegroups.com. -- 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/CAGEwAAnDbu71CoyQeb%3D%2BGBJY4ak7mFpGLUqgUYUZSGQF4uaGLQ%40mail.gmail.com.
