I am in the [X ] Yes, this is a great idea. About time! camp... Some people are more intimidated by non-polite postings than others. I am aware of people who were quite turned off by aggressive language (and have been turned off of sage development because of it...think of Simon's example, and he is probably more thick skinned than most) and asking that everyone play nice is hardly a radical approach.
While I agree with the sentiment that the right approach is to "not feed the troll," this works only in (say) 90% of the cases. What do you do with the other 10%? I hope that the community will speak up and say "hey, play nice" but often this doesn't happen when it should and even that might not be enough if the damage is already done. -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.