And I have repeatedly explained that no matter how brial and sagemath-categories are related, one can perfectly either have a completely independent PR for brial, or base the brial one on a PR that deals with updates to sagemath-whatever distribution(s).
If X depends on Y, make a PR for Y, and a PR for X which depends on the PR for Y and is based on the branch of the latter. That's the normal way to deal with such things, in particular as in this case X and Y are nontrivial. Besides, what's so special about an updated sagemath-categories distribution so that you absolutely must base the brial update on them? Distributions are just wrappers for code, after all. Instead of using -distributions magic only you, and perhaps, Tobias, know (as witnessed on the PR which does a similar job, but for brial, <https://github.com/sagemath/sage/pull/38712>), you can merely use a few imports that need to be used, regardless of the state of sagemath-categories. Dima On 2 October 2024 18:09:47 BST, Matthias Koeppe <matthiaskoe...@gmail.com> wrote: >On Wednesday, October 2, 2024 at 1:57:48 AM UTC-7 Dima Pasechnik wrote: > >> And for sure doing any such renaming games will be outside of the scope >of the PR in question. https://github.com/sagemath/sage/pull/36380 should >not wait for it. > >#36380 is first of all waiting for, requested by more than one >reviewer, splitting off the part related to brial - as the latter is a >really urgent and unrelated to sagemath-categories thing. > > >I have already corrected you about this; why repeat it? > >It's not "unrelated" to sagemath-categories. sagemath-brial needs a larger >sagemath-categories as a build dependency. > >-- >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/82d269aa-928e-475d-9d54-766883518235n%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/FE0EAC62-5F5F-4178-B841-E126398112BE%40gmail.com.
