I think a new label like “r: unresponsive” makes a lot of sense as opposed to “r: invalid”.
Best, Jackson On Thu, Jan 23, 2025 at 4:56 PM Kwankyu Lee <ekwan...@gmail.com> wrote: > The reviewer may close unresponsive PRs with the label "r: invalid". By > the way, "r" stands for resolution. Or we could make up a new label "r: > unresponsive" (with one word). I propose to wait for 3 months before > closing. > > That policy should apply for strictly unresponsive (with no apparent > reason) PRs. The author may not agree with the reviewer's suggestions, and > may look unresponsive. > > I wonder how many such PRs we have. I guess not many. > > -- > 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 visit > https://groups.google.com/d/msgid/sage-devel/ebcf2d0f-a8fd-43fb-a2e8-9a8f4dd46e45n%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/ebcf2d0f-a8fd-43fb-a2e8-9a8f4dd46e45n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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 visit https://groups.google.com/d/msgid/sage-devel/CAGqtwVDfEwQwRK%2B-23ptJxVSPsRv_3vX5Ygbov_3PH2ErDhmXw%40mail.gmail.com.
