But also: Please don't merge branches into develop until it is absolutely necessary for the github transition (issue templates or ci setup)
On Tuesday, February 7, 2023 at 6:23:54 PM UTC+1 Dima Pasechnik wrote: > We have positively reviewed tickets on trac - do we need to do > anything, or just wait for the release manager to merge them? > > Dima > -- 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/d0352dab-0a8a-477c-b240-766dcb90ae18n%40googlegroups.com.
