If we do not want to invent a new label, we may add "s: needs review", "s: needs work", "s:needs info" altogether to get attention.
The pending script (https://github.com/sagemath/sage/pull/36292) that automatically manages the github labels won't be happy with this (several status labels). So we may need to make a new label like "s: needs voting" (with some appropriate color to get attention). For fine points of the proposal, I suggest (1) The community's decision by voting is only initiated by the author's request (perhaps by a comment like "I request the community's decision") (2) If the voting results in disapproval, the PR is closed with a resolution label (perhaps "r: wontfix" or a new label "r: disapproved"?). -- 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/bac4c8ba-e599-43dc-a930-42961c385128n%40googlegroups.com.
