This PR bundles together totally unrelated things. What do sagemath-objects and sagemath-categories have to do with demoting brial to optional?
Dima On 27 September 2024 20:22:32 BST, Matthias Koeppe <matthiaskoe...@gmail.com> wrote: >On Monday, August 26, 2024 at 9:55:38 PM UTC-7 Kwankyu Lee wrote: > >That is an encouraging news. > >To speed up the process, we have to pass > >https://github.com/sagemath/sage/pull/37900 >https://github.com/sagemath/sage/pull/37901 > > >Actually, the next step is to >merge https://github.com/sagemath/sage/pull/36380 >(Demote brial (= polybori) from standard to optional, add distribution >sagemath-brial, enlarge sagemath-objects, sagemath-categories ><https://github.com/sagemath/sage/pull/36380>). > >This PR is yet another one that went into "disputed" status. > >All, please vote to get this important step unstuck. > > > >-- >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/6ff0f6f8-8075-49fa-a2d1-6fc262456226n%40googlegroups.com. -- 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/FF3E8FA2-21F6-4E8B-A11C-F509F8FD0BFC%40gmail.com.