Hi Volker, On Sat, Apr 20, 2024 at 10:22 AM Volker Braun <vbraun.n...@gmail.com> wrote:
> 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. > the keywords are "where we want to be" and "direction". The revert should happen as there is no agreement on this. It would help if we first sort out and agree on these, then we can resume the normal operations. IMHO it would help if you stopped touching these disputed PRs until this these are done, or at least for a set period of time, say a month or two. Dima > > 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 > <https://groups.google.com/d/msgid/sage-devel/b9d41da8-57ec-4542-a5d8-7f2690849a49n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAAWYfq3iAWpJQpMFzcF09-FnNgzMXnsExzpUti-YAZ%2BrhCNqDQ%40mail.gmail.com.
