Re: [sage-devel] Re: VOTE: move Sage development to Github

Thanks to everyone for voting! The final results are 46 in favor of moving to Github and 8 against. There is still a lot of work to be done to carry out the transition, and we'll be coordinating on this wiki page and this trac

Re: [sage-devel] Re: VOTE: move Sage development to Github

+1 for github -- 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.goo

Re: [sage-devel] Re: VOTE: move Sage development to Github

-1 On Tuesday, 4 October 2022 at 19:06:07 UTC-4 David Roe wrote: > Just a reminder that voting ends tomorrow (noon EDT, 16:00 UTC), so if > you've been putting off voting you should do so now. > David > > On Tue, Oct 4, 2022 at 7:39 AM Alex J Best wrote: > >> +1 for github >> >> On Wednesday, S

Re: [sage-devel] Re: VOTE: move Sage development to Github

Just a reminder that voting ends tomorrow (noon EDT, 16:00 UTC), so if you've been putting off voting you should do so now. David On Tue, Oct 4, 2022 at 7:39 AM Alex J Best wrote: > +1 for github > > On Wednesday, September 21, 2022 at 7:23:36 PM UTC+2 David Roe wrote: > >> Dear Sage developers,

Re: [sage-devel] Re: VOTE: move Sage development to Github

+1 for github, +2 for gitlab, +3 for selfhosted gitlab. trac infrastructure should be backed up to not lose information On 9/23/22 08:37, Emmanuel Charpentier wrote: +1 for Github Also wishing for contingency plan for re-migrating to self-hosted Gitlab. Le mercredi 21 septembre 2022 à 19:23:3

Re: [sage-devel] Re: VOTE: move Sage development to Github

Just vote by email on this thread; I will tally them on Wednesday. On Sat, Oct 1, 2022, 8:57 PM erentar2002 wrote: > Do i vote by email or is there a voting page > On 9/23/22 08:37, Emmanuel Charpentier wrote: > > +1 for Github > > Also wishing for contingency plan for re-migrating to self-hoste

Re: [sage-devel] Re: VOTE: move Sage development to Github

Do i vote by email or is there a voting page On 9/23/22 08:37, Emmanuel Charpentier wrote: +1 for Github Also wishing for contingency plan for re-migrating to self-hosted Gitlab. Le mercredi 21 septembre 2022 à 19:23:36 UTC+2, David Roe a écrit : Dear Sage developers, Following extens

Re: [sage-devel] Re: VOTE: move Sage development to Github

+1 to move to github -- 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://gro

Re: [sage-devel] Re: VOTE: move Sage development to Github

-1 (but with the same wish as below) On 23/09/2022 9:37, Emmanuel Charpentier wrote: +1 for Github Also wishing for contingency plan for re-migrating to self-hosted Gitlab.  Le merc

Re: [sage-devel] Re: VOTE: move Sage development to Github

This thread is not for discussion, it's for voting only. The reason for this policy is that misrepresentations and name-calling can inappropriately influence other voters. On Thursday, September 29, 2022 at 11:59:23 AM UTC-7 Michael Orlitzky wrote: > -1 > > Proprietary platforms are against th

Re: [sage-devel] Re: VOTE: move Sage development to Github

-1 Proprietary platforms are against the spirit of free software, science, and mathematics. It is also a step backwards from what we have now. Microsoft is one of the oldest, most resourceful, and most consistent enemies of open software and standards. Letting them control the platform is especial

Re: [sage-devel] Re: VOTE: move Sage development to Github

-1 -- 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/m

Re: [sage-devel] Re: VOTE: move Sage development to Github

+1 for Github -- 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.goo

Re: [sage-devel] Re: VOTE: move Sage development to Github

-1 On Friday, September 23, 2022 at 2:12:22 PM UTC-7 vdelecroix wrote: > -1 > > On Fri, 23 Sept 2022 at 12:43, Marc Mezzarobba > wrote: > > > > Emmanuel Charpentier wrote: > > > +1 for Github > > > > > > Also wishing for contingency plan for re-migrating to self-hosted > > > Gitlab. > > > > Sam

Re: [sage-devel] Re: VOTE: move Sage development to Github

-1 On Fri, 23 Sept 2022 at 12:43, Marc Mezzarobba wrote: > > Emmanuel Charpentier wrote: > > +1 for Github > > > > Also wishing for contingency plan for re-migrating to self-hosted > > Gitlab. > > Same here. > > -- > Marc > > -- > You received this message because you are subscribed to the Google

Re: [sage-devel] Re: VOTE: move Sage development to Github

+1 for GitHub On Wed, 21 Sept 2022, 20:56 Ricardo Buring, wrote: > +1 for GitHub > > On Wednesday, September 21, 2022 at 7:23:36 PM UTC+2 David Roe wrote: > >> Dear Sage developers, >> Following extensive discussion, both recently >>

Re: [sage-devel] Re: VOTE: move Sage development to Github

+1 for Github -- David Lowry-Duda -- 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 vi