The vote has passed. There are currently 36 open disputed PRs <https://github.com/sagemath/sage/labels/disputed>.
Given the extensive comments on some of these PRs, I would agree that we should follow some version of Karl-Dieter's suggestion. In particular, while the author of the PR remains automatically in favor, I'll ask that people who gave positive reviews affirm their continued support for the PR by commenting (or forwarding their vote to someone who can comment). With such a large set of disputed tickets, while we give people a chance to make their opinions known please wait until the end of the day Friday (say, US/Pacific time) before changing status to positive review or needs review as described in the policy. Volker will hopefully not merge any of these disputed tickets for a little while while we work through the new policy. If there are snags in the process, we can work through them here on sage-devel. Also note that I do not anticipate this new process to be a magic bullet that resolves all of our disagreements that underlie these disputes. We will be announcing the results of the vote for new members of the Sage Code of Conduct committee soon, and I hope that the new committee can discuss ways to continue to resolve the disagreements. In the meantime, please be respectful of each other, both here and on github. I am not going to have time to encode this policy into our Developer's Guide for a couple weeks; anyone else is welcome to do so and I'd be happy to offer a review. David On Mon, Mar 11, 2024 at 1:44 PM kcrisman <kcris...@gmail.com> wrote: > > It would be helpful for anyone explicitly voting +/-1 to either link to a > previous comment or make a new actual comment (beyond the vote) to > clarify. This is particularly if there have been new commits since the > initial dispute, because for an outside reviewer it can be hard to untangle > all the various comments before the disputed tag is placed on the PR. > > (Which would apply to any emailed requests as well.) > > -- > 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/bb229d60-d204-4d04-bc3d-2c88515a389dn%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/bb229d60-d204-4d04-bc3d-2c88515a389dn%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 on the web visit https://groups.google.com/d/msgid/sage-devel/CAChs6_nc9MCDvU5zEKJcbTuLqPYF8v5CDmWN89j_z2RHfHrsMw%40mail.gmail.com.
