Call me a Luddite, but let me remind you that "disputed PRs on CI" appear to be the only way to engage in discussions where the project is heading, and whether it is sustainable this way.
That is a noble discussion. I humbly respect that. But we should not stop the machines, for that. -- 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/a6d91a57-1ba7-4bd0-8532-7bb02c34b1ccn%40googlegroups.com.
