Note that what's left in the 10.0 milestone is already
hand-picked. https://github.com/sagemath/sage/milestone/152
In particular, could you please merge
https://github.com/sagemath/sage/pull/35460 (the update to our developer's
guide for GitHub -- didn't you say the transition to GitHub is
On Sunday, May 14, 2023 at 11:05:19 AM UTC+2 Dima Pasechnik wrote:
i.e. PRs 35637 and 35638
OK, will do.
--
You received this message because you are subscribed to the Google Groups
"sage-release" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to
On Sun, 14 May 2023, 09:48 Volker Braun, wrote:
> As always, only blockers are merged in release candidates. If a normal
> ticket is not done during the normal merge window then its not going in,
> otherwise we never finish making a release.
>
Volker, can you at least merge small documentation
As always, only blockers are merged in release candidates. If a normal
ticket is not done during the normal merge window then its not going in,
otherwise we never finish making a release.
On Saturday, May 13, 2023 at 11:54:55 PM UTC+2 matthia...@gmail.com wrote:
Other relevant tickets for the