The proposed change looks very reasonable to me - thank you for working on that!
Regarding Kwankyu's remark: > A practical issue related with this discussion is as follows. If a member B is blocked by another member A, and there is a PR created by A. Then does B still (1) have the full rights to participate in the review process for the PR? Or (2) B's rights are suspended for the PR? It seems to me that the serious problems mostly occur on a personal, rather than a technical level. I think I do remember that during disputes in the past, some small other pull requests where proposed and reviewed by the same disputing parties. However, it seems to me that the cost of personal disputes within the developer community is far larger than any benefit of having some other pull requests merged. That said, I can imagine that working together on unrelated stuff may help soften personal disputes. Therefore, I think it would be OK to leave this unspecified. In any case, B already has the possibility to label a pull request as "disputed", which should prevent it from being merged. Best wishes, Martin On Monday 9 September 2024 at 08:03:11 UTC+2 Kwankyu Lee wrote: > Thank John for the response. > > I have other questions in > https://groups.google.com/g/sage-devel/c/cLnRyofH0lw/m/S__tbpV1AgAJ. They > are about the period during which the blocking is effective. As the > proposed policy from CoCC is about the resolution of the blocking, I think > the policy should be supplemented with answers to my questions. > -- 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/7d3e2cef-90e4-4b48-afa0-176f2c0901d8n%40googlegroups.com.
