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 <ekwan...@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/3b6b30f7-efea-4812-b5b7-0e1f5894f975n%40googlegroups.com. -- 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/01429D75-1154-433D-AC95-8B336A9FD754%40gmail.com.
