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.
