Hi Volker, William, On Wednesday, January 10, 2024 at 6:50:10 AM UTC-8 William Stein wrote:
1. There are over 20 pull requests labeled as "disputed" [1]. To resolve these pull requests, we will be appointing an editor with no direct involvement in the pull request to make a judgement call on that particular pull request. We will then fully support the decision of this editor. If you have the time to be the (possibly anonymous) editor for a disputed pull request, please email us (wst...@gmail.com, vbrau...@gmail.com) and we'll add your name to our list. I think we need to know at least some rough indication on the intended timeline of this proposed process. By when should volunteer editors sign up? How and when will it be determined whether the community supports this proposed process? And by when is it intended to resolve the "disputed PRs"? Also the previous iteration, "Policy for disputed PRs" (David Roe's sage-devel post of Nov 24, 2023, https://groups.google.com/g/sage-devel/c/rDM3WDHnJkM/m/THAxmGDXAQAJ) did not have any indication of a timeline; and I have not received any response to my question regarding the timeline in my post of Dec 30, 2023, https://groups.google.com/g/sage-devel/c/rDM3WDHnJkM/m/x_r7Ly5dAQAJ As I noted in my post https://groups.google.com/g/sage-devel/c/XON6NTJa33o/m/6AOs-NDSBAAJ (overview on 9 "disputed PRs"), one of the affected PRs has been waiting to be merged since Nov 2, 2023. -- 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/02daf958-57b4-436c-b43c-33694fe7973an%40googlegroups.com.
