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 marked by 
the 10.0 release?)



On Sunday, May 14, 2023 at 1:48:30 AM UTC-7 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.
>
> On Saturday, May 13, 2023 at 11:54:55 PM UTC+2 matthia...@gmail.com wrote:
>
> Other relevant tickets for the 10.0 release: 
> https://github.com/sagemath/sage/milestone/152
>
>

-- 
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 sage-release+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-release/132afad5-d9fd-46b1-9a74-8f58e63f8bf4n%40googlegroups.com.

Reply via email to