Re: [sage-devel] Re: Policy for disputed PRs: discussion

2023-11-30 Thread Matthias Koeppe
On Thursday, November 30, 2023 at 3:14:57 PM UTC-8 kcrisman wrote: This is a good place to thank embray and darthandrus (among many others) for work on previous Windows and Mac "one-click" download options, and especially the 3-manifolds project for the current one for Mac. +1 -- You

Re: [sage-devel] Re: Policy for disputed PRs: discussion

2023-11-30 Thread kcrisman
To the extent that this specific PR is emblematic of a particular approach to Sage development (a flawed approach in Dima's view, if I understand right), then the whole approach should be discussed here. Probably many of these issues in Sage development have been discussed already, but it's

[sage-devel] Re: Policy for disputed PRs: discussion

2023-11-30 Thread Kwankyu Lee
If we do not want to invent a new label, we may add "s: needs review", "s: needs work", "s:needs info" altogether to get attention. The pending script (https://github.com/sagemath/sage/pull/36292) that automatically manages the github labels won't be happy with this (several status

Re: [sage-devel] Re: Policy for disputed PRs: discussion

2023-11-30 Thread David Joyner
On Wed, Nov 29, 2023 at 10:12 AM tobia...@gmx.de wrote: > At first I was very enthusiastic about this proposed policy, but after > thinking about this for a bit I'm no longer convinced this is a good idea. > > First of all, the policy sets out to solve the case "where there is a > general

Re: [sage-devel] Re: Policy for disputed PRs: discussion

2023-11-30 Thread William Stein
On Thu, Nov 30, 2023 at 12:37 PM John H Palmieri wrote: > To the extent that this specific PR is emblematic of a particular approach > to Sage development (a flawed approach in Dima's view, if I understand > right), then the whole approach should be discussed here. Probably many of > these

[sage-devel] Re: Policy for disputed PRs: discussion

2023-11-30 Thread John H Palmieri
The original proposal allows for anyone to post to sage-devel to try to raise awareness ("Also note that an objector is welcome to attempt to bring others into the discussion on their side if they remain firmly opposed"). I prefer allowing the various participants the freedom to decide whether