On Thu, Feb 22, 2024 at 9:11 PM Matthias Koeppe <matthiaskoe...@gmail.com> wrote:
> On Wednesday, January 10, 2024 at 6:50:10 AM UTC-8 William Stein wrote: > > the main act of censure that the sage-abuse committee will be > taking going forward will be to delete comments (on github and mailing > lists) that violate the code of conduct. > > > William, Volker, I've already shared privately in great detail why this is > insufficient. > > But even this decidedly narrow scope -- is anyone taking care of it at all? > Is https://groups.google.com/g/sage-abuse attended? > I can confirm that the google group list does receive messages. > And if so, may we know who's on the committee? > > Asking on behalf of the community. > The members of the committee are: * William Stein * Vincent Delecroix * David Joyner * Harald Schilly * John Palmieri * David Roe The membership of the committee has been unchanged for years, and some of us are no longer very involved in Sage development. We are meeting early next week in order to discuss some of the recent issues, and I welcome comments or suggestions, which you can send publicly or to me in private. David > > Matthias > > -- > 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/89d80d9a-e991-4a0f-91d7-cfe5bc2b914en%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/89d80d9a-e991-4a0f-91d7-cfe5bc2b914en%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAChs6_k3A8zhEx2MKzY3edVh6kGdo0L3%3D7Ap1n8C4hEgre9OGg%40mail.gmail.com.
