On 22 August 2024 22:37:17 BST, Matthias Koeppe <matthiaskoe...@gmail.com>
wrote:
>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?
Socratic method has its downsides. I suggest perusal of
<https://en.m.wikipedia.org/wiki/Trial_of_Socrates>
Sufficiently upset Sage jurors might end up ordering the new Socrates something
like drinking a liter of stale McDonalds decaf coffee, or something even more
cruel.
>
--
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/049B099A-8550-4486-A8A9-D0488963BA86%40gmail.com.
