On Thursday, August 22, 2024 at 2:19:36 PM UTC-7 David Roe wrote: We are starting this thread for two reasons.
1. Kwankyu asked for clarity on who can mark comments as off topic. 2. You marked this comment <https://github.com/sagemath/sage/pull/38219#issuecomment-2283629487> as off-topic, which asked for clarification on the action you had just taken removing the disputed label, and then several additional comments on that PR. Since our project is fairly new to github, we have not yet developed norms for using its moderation features. We are starting this thread to discuss such norms with the community. We made one proposal, but are open to others, which is why we asked for discussion rather than a vote. Forgive me for using the Socratic method, but do you understand what the function of this standard GitHub functionality ("mark comment as off-topic") is? -- 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/9df865b4-28e8-44ef-b8e3-3c8e0de1cd6bn%40googlegroups.com.
