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 inviting more people to the PR, which provides more convenient place for discussion than the mailing list. It intends to stop non-productive discussion in dead-lock state. ... instead of a general direction, we have this situation where every developer is having their own ideas and little projects that they are working on, and that are bound to step on toes of others. I agree. But the general direction would not resolve specific disputed PRs unless a dictator interprets the general direction for them. -- 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/39d02757-764e-4541-b3ac-8c04f9b64d39n%40googlegroups.com.
