Yes in a perfect world, but then you don't get a gold star for satisfying some purity test. We should just do the minimal amount of work to get us where we want to be. Lets focus on the direction to go and not too much on the process.
On Friday, April 19, 2024 at 7:18:03 PM UTC+2 Michael Orlitzky wrote: > On Fri, 2024-04-19 at 09:46 -0700, Matthias Koeppe wrote: > > > > Michael, note that in my message I asked for a vote on that dependency > > https://github.com/sagemath/sage/pull/36676. > > > > Even if 36676 gets approval, 36964 must be reverted. It was not > meaningfully voted upon. > > -- 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/b9d41da8-57ec-4542-a5d8-7f2690849a49n%40googlegroups.com.