On Fri, Nov 28, 2014 at 9:01 AM, Viviane Pons <vivianep...@gmail.com> wrote: > As a "yes" voter, I would be totally in favor of changing the name to > "guidelines". As Nathann pointed out, we're not Django or Fedora and even > though they can be source of inspiration, we don't have to do something just > because they do. Also, the linguistic debate about what "code" means is a > bit pointless: let's just use a word that most people agree on whatever > mother tongue they come from. > > I'm also in favor of voting a new text that carries more people on. I think > we're in a bad situation now, with a vote that not everybody recognizes and > divides the community. I am in favor of some kind of "code of conduct" but > dividing the community is counter productive.
Agreed. Most everybody would consider it a very positive outcome if there were a replacement "thing of conduct" that addresses the concerns many people have raised and gets passed almost unanimously. I really hope that happens. I'm really appreciative of Dima, Nathann, you and others who are continuing to put effort and thought into this so that such a thing can happen. -- William > > Best > > Viviane > > -- > 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. -- William Stein Professor of Mathematics University of Washington http://wstein.org -- 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.
