On Saturday, July 27, 2024 at 6:01:48 PM UTC+9 Martin R wrote:
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 decis
On Sat, Jul 27, 2024 at 10:01 AM 'Martin R' via sage-devel
wrote:
>
> 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 cle
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
ag
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.
>
--
