Thanks, David, that's very helpful. On Thursday, August 22, 2024 at 7:58:00 PM UTC-7 David Roe wrote:
> On Thu, Aug 22, 2024 at 10:32 PM Matthias Koeppe <matthia...@gmail.com> > wrote: > >> We are currently collecting the information which individuals manage the >> project's infrastructure in >> https://github.com/sagemath/sage/wiki/Infrastructure >> >> The information who is Owner or Manager of most of our project's Google >> Groups lists does not appear to be publicly accessible. >> > >> I would request that this information be collected in >> https://github.com/sagemath/sage/wiki/Infrastructure:-Google-Groups >> and/or the configuration be changed so that this information becomes >> visible. >> > > I've updated the lists for which I'm an owner or manager so that the > membership information is now available to other members (which includes > information on membership roles). In particular, the current ownership > <https://groups.google.com/g/sage-devel/members?q=role%3Aowner> of the > sage-devel group is the same as the current membership of the Code of > Conduct Committee: myself, Julian Rüth, John Palmieri, Nils Bruin, Viviane > Pons and JP Labbe. > David > > >> Thanks! >> 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+...@googlegroups.com. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-devel/b0a2a9ee-70b5-470b-a004-ab3d6007c706n%40googlegroups.com >> >> <https://groups.google.com/d/msgid/sage-devel/b0a2a9ee-70b5-470b-a004-ab3d6007c706n%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/401c139c-ec1c-4529-9d0b-04d04f020cb2n%40googlegroups.com.
