Re: [sage-devel] Urgent and important: Please vote on disputed PR #36964 (next step of the modularization project)

2024-04-20 Thread Dima Pasechnik
Hi Volker, On Sat, Apr 20, 2024 at 10:22 AM Volker Braun wrote: > Yes in a perfect world, but then you don't get a gold star for satisfying > some purity test. We should just do the minimal amount of work to get us > where we want to be. Lets focus on the direction to go and not too much on > th

Re: [sage-devel] Urgent and important: Please vote on disputed PR #36964 (next step of the modularization project)

2024-04-20 Thread Michael Orlitzky
On Sat, 2024-04-20 at 02:22 -0700, Volker Braun wrote: > Yes in a perfect world, but then you don't get a gold star for satisfying > some purity test. We should just do the minimal amount of work to get us > where we want to be. Lets focus on the direction to go and not too much on > the process

Re: [sage-devel] Urgent and important: Please vote on disputed PR #36964 (next step of the modularization project)

2024-04-20 Thread Volker Braun
Yes in a perfect world, but then you don't get a gold star for satisfying some purity test. We should just do the minimal amount of work to get us where we want to be. Lets focus on the direction to go and not too much on the process. On Friday, April 19, 2024 at 7:18:03 PM UTC+2 Michael Orlitz

Re: [sage-devel] Urgent and important: Please vote on disputed PR #36964 (next step of the modularization project)

2024-04-19 Thread Michael Orlitzky
On Fri, 2024-04-19 at 09:46 -0700, Matthias Koeppe wrote: > > Michael, note that in my message I asked for a vote on that dependency > https://github.com/sagemath/sage/pull/36676. > Even if 36676 gets approval, 36964 must be reverted. It was not meaningfully voted upon. -- You received this m

Re: [sage-devel] Urgent and important: Please vote on disputed PR #36964 (next step of the modularization project)

2024-04-19 Thread Matthias Koeppe
On Friday, April 19, 2024 at 3:47:38 AM UTC-7 Michael Orlitzky wrote: On 2024-04-18 14:18:37, Matthias Koeppe wrote: > As an alternative to the proposal to back out the > PR https://github.com/sagemath/sage/pull/36964 whose *disputed dependency > PR https://github.com/sagemath/sage/pull/36676 w

Re: [sage-devel] Urgent and important: Please vote on disputed PR #36964 (next step of the modularization project)

2024-04-19 Thread Michael Orlitzky
On 2024-04-18 14:18:37, Matthias Koeppe wrote: > Dear all: > > As an alternative to the proposal to back out the > PR https://github.com/sagemath/sage/pull/36964 whose *disputed dependency > PR https://github.com/sagemath/sage/pull/36676 which had not reached the > required 2:1 supermajority *o

Re: [sage-devel] Urgent and important: Please vote on disputed PR #36964 (next step of the modularization project)

2024-04-18 Thread Dima Pasechnik
Another attempt at derailing the ongoing vote, not unexpected. Besides, Matthias must be really the greatest democrat of all - 1st he blocks a part of electorate from voting at the designated venue, and then invite everyone to vote there. I urge everyone to ignore this alternative vote - to pro

[sage-devel] Urgent and important: Please vote on disputed PR #36964 (next step of the modularization project)

2024-04-18 Thread Matthias Koeppe
Dear all: As an alternative to the proposal to back out the PR https://github.com/sagemath/sage/pull/36964 whose *disputed dependency PR https://github.com/sagemath/sage/pull/36676 which had not reached the required 2:1 supermajority *of the dispute-resolution process *(it currently only has a