On Tuesday 20 August 2024 at 10:03:59 UTC-7 Matthias Koeppe wrote: On Tuesday, August 20, 2024 at 9:02:14 AM UTC-7 julian...@fsfe.org wrote:
I consider this approved. While I don't think I would be opposed to the proposal here, I believe that our policy says that for a disputed PR to be "approved," a vote needs to happen here or on the PR. Julian, you snipped away what "this" is what I consider approved -- namely the proposed policy (not the PR). Thank you for the clarification. I certainly read the message as the presumed approval pertaining to both the policy and the PR, because they were tied together and discussed together from the start. In any case, I would think that in this case it is really the policy change that needs the vote anyway; not the implementing PR (there review should take care of technical issues). We have seen several examples where we really want functionality from software that is developed in languages that we don't want to support the build environment for (I think we now have examples of javascript and rust for this), so I think we're going to need a policy along the lines of what you and/or Dima have proposed. What is currently not clear to me is *where* those binary wheels are going to come from and how we're going to test/ensure that they are available for the platforms that we commit to supporting. It would also be good to think about what we're going to do if at some point we find that for one of our supported platforms such wheels are not available. Are we going to just drop that platform? We might have to. Or perhaps it's more advantageous to then "gracefully" reduce functionality and still provide sagemath for that platform; just not with the functionality that relies on the unavailable binary. But then it becomes more like an optional prerequisite for enhancing functionality. I think the discussion is the important part here: by the looks of it reality is forcing the something like the policy on us, and we can't really vote that away. -- 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/28cc7921-1038-4a9d-9976-5baecb0bb13an%40googlegroups.com.
