I think it would be good to have a conscious decision about when a merge of this pull request should happen. Since it affects 2262 (!) files, just about everybody will have to rebase their work. Also, when there is a clear decision, the author will not have to fix merge conflicts again and again.
Personally, I think that a single beta release, containing only this pull request, would be appropriate. I can imagine that this would be helpful when locating future bugs, because this pull request contains a huge amount of changes, but no changes to code, so it can be skipped when trying to find a breaking commit. Alternatively, maybe even better, it could be the last commit before the next release. Best wishes, Martin On Tuesday 9 July 2024 at 13:58:51 UTC+2 kcrisman wrote: > Impressive! > > On Monday, July 8, 2024 at 8:31:39 AM UTC-4 Kwankyu Lee wrote: > >> Hi, >> >> PR #38155 https://github.com/sagemath/sage/pull/38155 now got positive >> review. >> >> We hope that sage developers maintain the high quality of docstrings >> established by the PR. >> >> Thanks for attention. >> > -- 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/aa753d4e-e7c2-480e-a01b-8ea9811183a1n%40googlegroups.com.
