Re: [sage-devel] Re: Policy discussion about hiding GitHub comments

On 23 August 2024 06:09:10 BST, Matthias Koeppe wrote: >On Thursday, August 22, 2024 at 3:32:16 PM UTC-7 Matthias Koeppe 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 c

Re: [sage-devel] Re: Policy discussion about hiding GitHub comments

On Thursday, August 22, 2024 at 3:32:16 PM UTC-7 Matthias Koeppe 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

Re: [sage-devel] Re: Policy discussion about hiding GitHub comments

On 22 August 2024 22:37:17 BST, Matthias Koeppe 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 >

Re: [sage-devel] Re: Policy discussion about hiding GitHub comments

On Friday, August 23, 2024 at 7:24:03 AM UTC+9 Martin R wrote: ... It appears to me that there is no consensus among the dozen or so contributors in what is considered off topic or offensive. Any criterion on the content of the comment that can be considered "off topic" or "spam" may risk o

Re: [sage-devel] Re: Policy discussion about hiding GitHub comments

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 as off-topic, which

Re: [sage-devel] Re: Policy discussion about hiding GitHub comments

Hi Martin, The Code of Conduct Committee typically does let the author of a comment know if the committee hides the comment, with an explanation. Or at least the committee strives to do this. Regards, John On Thursday, August 22, 2024 at 3:24:03 PM UTC-7 axio...@yahoo.de wrote: > I fully a

Re: [sage-devel] Re: Policy discussion about hiding GitHub comments

I fully agree with the proposed policy. It appears to me that there is no consensus among the dozen or so contributurs in what is considered off topic or offensive. Therefore, I would hope that such a policy reduces tension. If possible (and the policy is adopted), it might be extra-nice if t

Re: [sage-devel] Re: Policy discussion about hiding GitHub comments

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 as off-topic, which asked for clarification on the action you had just taken removing th

[sage-devel] Re: Policy discussion about hiding GitHub comments

On Thursday, August 22, 2024 at 11:08:48 AM UTC-7 John H Palmieri wrote: This message comes from the Code of Conduct Committee, in response to a question from Kwankyu (labeled A1 in his message) about the authority to mark a