Dear Sage developers, I need your help on these PRs. Please vote. Special expertise is not required for voting. You will find the comments in these PRs instructive -- also as illustration for a (long overdue) *discussion about governance and review standards* in the Sage project.
*1. Please vote +1 on both https://github.com/sagemath/sage/pull/36561 and https://github.com/sagemath/sage/pull/37138* ("Move metadata from setup.cfg to pyproject.toml"). These are trivial "chore" PRs. They update metadata of our pip-installable packages "sage-conf" and "sagemath-standard" to the latest format. These straightforward and appropriately focused PRs have been held back by months by *bundling the review of the PRs with unrelated issues.* I call this "artificial friction"; see the discussion in the PRs. To help overcome this artificial friction, please vote. *2. Please vote -1 on both https://github.com/sagemath/sage/pull/37387 and https://github.com/sagemath/sage/pull/36951. *These PRs are about a Developer Experience issue, namely the workflow on GitHub that notifies developers when the HTML documentation is ready for inspection by PR author and reviewers. Now a few developers have made it known that they are annoyed by the notifications (whether received by email or the notification tool on the GitHub website), and the PRs seek to turn off most or all of the notifications. That *these notifications enable a productive notification-driven development style, and that the notifications serve the project's need for quality control on the formatted documentation*, has not received meaningful consideration. What's happening on these PRs is exactly what I had cautioned about in https://github.com/sagemath/sage/pull/36726#issuecomment-1820148873 regarding the (then-proposed, now established) system of majority votes as a conflict resolution mechanism for PRs. To balance it, we need the involvement of the larger developer community: please vote. 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/8ccafdd2-4e8b-437c-b156-54c9cc15ee1dn%40googlegroups.com.
