Hi Kwankyu, (This is a response from the Code of Conduct Committee.)
Thank you for raising these issues. Some are addressed below, and we will also create separate threads (for discussion of policy proposals) to deal with some of the others. On Wednesday, August 14, 2024 at 3:54:30 PM UTC-7 Kwankyu Lee wrote: These actions on our github site: A1 marking a comment as off topic on a PR Will be addressed in a separate thread A2 blocking someone from a PR This is not possible on GitHub, although we will create a separate thread about GitHub blocking in general. A3 blocking someone totally from the github project (that is, expelling someone from our project) This is solely the responsibility of the Code of Conduct Committee. A4 modifying a comment by someone else (including modifying the PR description) Separate thread A5 using part of code from a PR in another PR (without consent) Handled on a case-by-case basis. A6 manipulating PR labels out of the intended usage We have a policy for how to handle the "disputed" label: I'm going from memory, but I think that a disputed label can only be removed (a) by the person who initially applied the label, (b) a vote on the ticket with the necessary outcome, or (c) a discussion and vote on sage-devel. If people are not following the policy, then please bring it to the attention of the Code of Conduct Committee. Do you have other questions or concerns about labels? Regards, John can (or surely do) offend the involved person. I think CoC committee should discuss on these actions and give guidelines on when an action is allowed when not by whom. -- 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/e5fe72b0-3641-4bd3-b1c2-bccb870f0e91n%40googlegroups.com.
