I think that "technical discussion" refers to "discussion about a technical detail".
However, this PR introduces a new kind of file, `all__sagemath_categories.py`, into (almost?) *every* subdirectory of src. Thus, it seems to me that this affects almost all developers - after all these files have to be maintained once they are there. I doubt that there are many people who understand the specification of these files. For example, I see that PowerSeriesRing is imported, but LazyPowerSeriesRing is not. I don't understand the difference. I admit that I didn't see these files before. On the version on my computer, they are (with very few exceptions) only in the top level. I thought that they were about the distribution packages, because that's what's mentioned in the top lines. Apart from that, there are rumours that some people are blocked by Matthias, I don't know whether they can read his pull requests. Martin On Saturday 28 September 2024 at 03:48:45 UTC+2 Kwankyu Lee wrote: Everyone here, According to the recent survey, people complain lengthy technical discussions happening in sage-devel, that many of them find irrelevant to their interests. If a thread in sage-devel involves a technical discussion, how about opening a new Discussion in https://github.com/sagemath/sage/discussions/categories/general and just leave a link here? -- 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/f92769fd-495c-45f1-958c-5d17f0478fd3n%40googlegroups.com.