Re: [sage-devel] Re: Policy for disputed PRs: discussion

2023-12-03 Thread Dima Pasechnik
We are discussing shortcomings of a huge mono-repo which only keeps growing. GitHub's idea that you release a whole repo makes it quite impossible to release parts of Sage without a lockstep. While back in 2021 we haven't quite realised this, it's becoming clear now. The issue #36803 is an

Re: [sage-devel] Re: Policy for disputed PRs: discussion

2023-12-03 Thread Matthias Koeppe
In the discussion in one of the PRs linked here, we have identified a separate issue. The SageMath project has a high complexity, which can be overwhelming to some. As part of our goal to make the Sage development community more inclusive, we should expand the developer's guide with