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

2023-11-29 Thread Kwankyu Lee
In light of this, I would like to propose to change the policy proposal to an automatic system that draws more attention to the PR, with the hope that new people bring new input and ideas, which then resolves the conflict in a natural way. The proposal already promotes more discussion by

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

2023-11-29 Thread tobia...@gmx.de
At first I was very enthusiastic about this proposed policy, but after thinking about this for a bit I'm no longer convinced this is a good idea. First of all, the policy sets out to solve the case "where there is a general consensus, but one person (or a few people) disagree". In my