I don't see how a comment related to the review procedure can be off-topic.
On Friday, August 23, 2024 at 4:52:42 PM UTC+1 Matthias Koeppe wrote: > On Friday, August 23, 2024 at 7:26:38 AM UTC-7 axio...@yahoo.de wrote: > > I find it quite hard to digest that work continues on these tickets as if > nothing had happened, resulting in github hiding them eventually. > > > Nothing of relevance for the review of the ticket has happened. > And that's exactly the point of hiding off-topic comments as off-topic. > > -- 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/0f38ca1c-2881-4700-819a-2cc5dae54ae2n%40googlegroups.com.