Sage has a tradition of public voting, but I'm fine if people want to email me separately with their vote and I can forward it along. David
On Thu, Sep 22, 2022 at 3:22 AM Dima Pasechnik <dimp...@gmail.com> wrote: > Do we require everyone willing to vote to do so on sage-devel, or it > could be done elsewhere (not every contributor to Sage or its > dependencies/packages is there) ? > > On Wed, Sep 21, 2022 at 6:23 PM David Roe <roed.m...@gmail.com> wrote: > > > > Dear Sage developers, > > As announced in a parallel thread, we are voting to move Sage > development from Trac to Github. Several of us have created a wiki page > attempting to summarize arguments in favor of each system, and this thread > can serve as a space for people to make clear their own reasoning for > favoring one option over the other. This discussion has gotten heated at > times, so remember to be considerate, respectful and polite: we are all > aiming to make Sage better. > > David > > > > -- > > 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_mZzK6v7wWP2vS5JzHYVNd%3DPoaCDDTdQF-u8VTgE-ONcg%40mail.gmail.com > . > > -- > 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/CAAWYfq0bagggnCks_SH6x-TFrkvK9Wm2Ypn9_eyqRTRmaYD3mg%40mail.gmail.com > . > -- 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_mquXRbxkygrNAKE1o%2BAk7sWB4RRnVkZqUmRitToRGByA%40mail.gmail.com.