I will echo Matthias here. We just spent multiple months working out this new process. In order to make it work, people need to help make judgements about which of these PRs should proceed and be included in Sage.
I understand that participating in these particular PRs can be daunting: the people involved have strongly held opinions, many of the issues involved are technical, and the comment history on some of these PRs is very long. I especially encourage those of you with substantial packaging background to help resolve these PRs, but other developers are welcome to participate in voting as well. David On Fri, Mar 15, 2024 at 10:42 PM Matthias Koeppe <matthiaskoe...@gmail.com> wrote: > Dear all: > Please take the time to participate in the voting process for the > "disputed" PRs. > > > https://github.com/sagemath/sage/pulls?q=is%3Aopen+label%3Adisputed+is%3Apr+label%3A%22s%3A+needs+review%22%2C%22s%3A+positive+review%22+sort%3Aupdated-desc > > Participation matters! > > Matthias > > -- > 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/8934391b-e5a6-45cb-ab4f-713e8dfdd3f1n%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/8934391b-e5a6-45cb-ab4f-713e8dfdd3f1n%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_kw2m0nOnnkuX8A2YxeG9yy%2B9FbQTK75ASUxkYofTbxqw%40mail.gmail.com.
