Re: [sage-devel] Re: message marked as off topic

2024-08-23 Thread Dima Pasechnik
I have added "disputed" label there as I disagree with the metadata of the PR in question, not the least because it uses my idea without giving a due credit. Given that PR author blocks me on GitHub, I take this as a further personal attack, which should stop at once. First a developer blocks

Re: [sage-devel] Re: message marked as off topic

2024-08-23 Thread Dima Pasechnik
Taking ideas for a PR from another project contributor without a proper credit, and continuing to refuse to give a proper credit, ought to result in a disciplinary action. All the way up to a permanent expulsion from the project. Dima On 23 August 2024 16:17:02 BST, Matthias Koeppe wrot

Re: [sage-devel] Re: message marked as off topic

2024-08-23 Thread Matthias Koeppe
On Friday, August 23, 2024 at 7:26:38 AM UTC-7 axio...@yahoo.de wrote: If this is not resolved, I will try to leave the project as soon as I have finished my duties. I'll note that "threatening to leave" is an inappropriate manipulation, in particular when done repeatedly. Previously seen in

[sage-devel] Re: Package upgrade PRs waiting for review

2024-08-23 Thread 'tobia...@gmx.de' via sage-devel
Why would one want to specify a more narrow version range? That would only impose unnecessary constraints on downstream packaging efforts. Another example: https://github.com/sagemath/sage/pull/38556 On Thursday, August 22, 2024 at 8:32:02 PM UTC+2 Matthias Koeppe wrote: > On Thursday, August 2

Re: [sage-devel] Re: Proposal: Policy for standard packages from binary wheels

2024-08-23 Thread Matthias Koeppe
No, Nils, that's not good enough. On Friday, August 23, 2024 at 8:50:24 AM UTC-7 Nils Bruin wrote: Dima has already pointed out a substantial similarity between the proposals. On Friday 23 August 2024 at 08:44:03 UTC-7 Matthias Koeppe wrote: Well, Nils? Please be specific. On Wednesday, Augus

Re: [sage-devel] Owners and Managers of sage-devel and other Google Groups: Please identify

2024-08-23 Thread Matthias Koeppe
Thanks, John and David. I've added the info the wiki page. On Friday, August 23, 2024 at 4:25:04 AM UTC-7 David Joyner wrote: > sage-edu: wdjo...@gmail.com, kcri...@gmail.com > > On Fri, Aug 23, 2024 at 6:35 AM John Cremona wrote: > >> sage-nt: John Cremona >> sage-algebra: David Kohel, Harald S

Re: [sage-devel] Re: message marked as off topic

2024-08-23 Thread Matthias Koeppe
On Friday, August 23, 2024 at 7:26:38 AM UTC-7 axio...@yahoo.de wrote: I find it quite hard to digest that work continues on these tickets as if nothing had happened, resulting in github hiding them eventually. Nothing of relevance for the review of the ticket has happened. And that's exactly t

Re: [sage-devel] Re: Proposal: Policy for standard packages from binary wheels

2024-08-23 Thread Nils Bruin
Dear Matthias, Dima has already pointed out a substantial similarity between the proposals. Kind regards, Nils On Friday 23 August 2024 at 08:44:03 UTC-7 Matthias Koeppe wrote: > Well, Nils? Please be specific. > > On Wednesday, August 21, 2024 at 2:38:59 PM UTC-7 Matthias Koeppe wrote: > >>

Re: [sage-devel] Re: Proposal: Policy for standard packages from binary wheels

2024-08-23 Thread Matthias Koeppe
Well, Nils? Please be specific. On Wednesday, August 21, 2024 at 2:38:59 PM UTC-7 Matthias Koeppe wrote: > On Wednesday, August 21, 2024 at 1:48:39 PM UTC-7 Nils Bruin wrote: > > On the google groups comment linked to by the second reference you give, > Dima does link to a very explicit proposal

Re: [sage-devel] Re: message marked as off topic

2024-08-23 Thread 'Martin R' via sage-devel
Please note that Dima is possibly not the only person affected. Matthias said that he blocked me, too: https://github.com/sagemath/sage/pull/38219#issuecomment-2288038077. In https://groups.google.com/g/sage-devel/c/XDvKkMRoDk4/m/dLm8DH6ZAAAJ the code of conduct committee stated, that blocking

Re: [sage-devel] Owners and Managers of sage-devel and other Google Groups: Please identify

2024-08-23 Thread David Joyner
sage-edu: wdjoy...@gmail.com, kcris...@gmail.com On Fri, Aug 23, 2024 at 6:35 AM John Cremona wrote: > sage-nt: John Cremona > sage-algebra: David Kohel, Harald Schilly, Mike Hansen, William Stein > Sage Days 6: John Cremona, William Stein > sagedays35, sage-flint-days: Bill Hart > sagedays22, s

Re: [sage-devel] Owners and Managers of sage-devel and other Google Groups: Please identify

2024-08-23 Thread John Cremona
sage-nt: John Cremona sage-algebra: David Kohel, Harald Schilly, Mike Hansen, William Stein Sage Days 6: John Cremona, William Stein sagedays35, sage-flint-days: Bill Hart sagedays22, sagedays22org, sagedays23, sagedays29: William Stein sagedays16, sagedays16org: William Stein, Gonzalo Tornaria On

Re: [sage-devel] Re: message marked as off topic

2024-08-23 Thread Kwankyu Lee
On Friday, August 23, 2024 at 6:09:36 PM UTC+9 dim...@gmail.com wrote: This doesn't work well with blocked GitHub users allowed for some reason in our project - one cannot directly comment on, or review, PRs whose authors block other users. Such users can still change labels, to indicate disag

Re: [sage-devel] Re: message marked as off topic

2024-08-23 Thread Dima Pasechnik
On 23 August 2024 09:05:55 BST, Kwankyu Lee wrote: >On Wednesday, August 21, 2024 at 12:56:15 AM UTC+9 julian...@fsfe.org wrote: > >implies that "disputed" label is only for a PR that has positive review >from a reviewer but another still objects it. I think adding "disputed" >label premature

Re: [sage-devel] Re: Policy discussion about hiding GitHub comments

2024-08-23 Thread Dima Pasechnik
On 23 August 2024 06:09:10 BST, Matthias Koeppe wrote: >On Thursday, August 22, 2024 at 3:32:16 PM UTC-7 Matthias Koeppe wrote: > >On Thursday, August 22, 2024 at 2:19:36 PM UTC-7 David Roe wrote: > >We are starting this thread for two reasons. > >1. Kwankyu asked for clarity on who can mark c

[sage-devel] Re: message marked as off topic

2024-08-23 Thread Kwankyu Lee
On Wednesday, August 21, 2024 at 12:56:15 AM UTC+9 julian...@fsfe.org wrote: implies that "disputed" label is only for a PR that has positive review from a reviewer but another still objects it. I think adding "disputed" label prematurely is not appropriate. Then who can remove the "disputed" l

Re: [sage-devel] Re: Policy discussion about hiding GitHub comments

2024-08-23 Thread Matthias Koeppe
On Thursday, August 22, 2024 at 3:32:16 PM UTC-7 Matthias Koeppe wrote: On Thursday, August 22, 2024 at 2:19:36 PM UTC-7 David Roe wrote: We are starting this thread for two reasons. 1. Kwankyu asked for clarity on who can mark comments as off topic. 2. You marked this comment