This PR is ready for review, now! Kwankyu Lee schrieb am Mittwoch, 5. April 2023 um 10:28:22 UTC+2:
It seems like that banner could be updated a bit, now that it is April. I do realize that there's still a lot being hashed out about the exact workflow... It seems that the workflow is still in flux. Some questions: ..... (6) What to do with automatic labelling vs manual labelling? https://github.com/sagemath/sage/pull/35172 -- 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/43107091-2f0e-48ec-9e22-6ef5e3b8d033n%40googlegroups.com.