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.

Reply via email to