Please don't!

Martin

On Wednesday 10 April 2024 at 00:39:39 UTC+2 Dima Pasechnik wrote:

> I think I will quit the Sage project as soon as decisions on technical 
> merits of PRs and issues will start to be taken in a nakedly political way.
>
> I am very strongly against any political overtones in  these matters - it 
> reminds me all too well what's wrong is in academia in general.
>
> Dima
>
>
>
>
> On 9 April 2024 11:21:46 CEST, Kwankyu Lee <ekwa...@gmail.com> wrote:
>
>> Hi,
>>
>> Reviewing a PR is a technical work, but voting on a disputed PR has a 
>> political element. So I want to make a political remark concerning most of 
>> the disputed PRs.
>>
>> The modularization project (making pip-installation packages that contain 
>> portions of the sage library) started years ago with a general consensus of 
>> the sage community. Matthias led the project and did most of hard works. 
>> Many others did not care much about the project and still do not feel the 
>> impact except when encountered with the (annoying) "# needs ..." tags.
>>
>> Matthias is also managing much of the sage build system and the CI 
>> (mostly testing infrastructure) on github, partly to support the 
>> modularization project. Many of us would appreciate that.
>>
>> Certainly Matthias is not an appointed dictator ruling the developers, 
>> but I think we should at least acknowledge the leading role of him in the 
>> area of his expertise. On technical discussions on PRs, we should give more 
>> weight on his opinions from his expertise.
>>
>> I hope that you decide your vote by weighing the conflicting arguments on 
>> the issues.
>>
>> Kwankyu
>>
>>

-- 
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/9364a6ee-f5e2-4cdf-ba13-ee8242335145n%40googlegroups.com.

Reply via email to