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

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

-1 (if we decide to move out of trac, then +1 for self hosted gitlab) -- 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

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,

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

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

+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 > > (prompted > by issues upgrading the trac server) and over >

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

+1 GitHub On Sunday, October 2, 2022 at 6:51:39 PM UTC+2 kesha...@gmail.com wrote: > +1 for GitHub (hi folks ) > > -Keshav > > On Wednesday, September 21, 2022 at 10:23:36 AM UTC-7 David Roe wrote: > >> Dear Sage developers, >> Following extensive discussion, both recently >>

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

+1 for GitHub (hi folks ) -Keshav On Wednesday, September 21, 2022 at 10:23:36 AM UTC-7 David Roe wrote: > Dear Sage developers, > Following extensive discussion, both recently > > (prompted > by issues upgrading the trac

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

+1 for Github David Roe schrieb am Mittwoch, 21. September 2022 um 19:23:36 UTC+2: > Dear Sage developers, > Following extensive discussion, both recently > > (prompted > by issues upgrading the trac server) and over >

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 à

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

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

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

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

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

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

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

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

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. > > > >

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

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

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 Groups "sage-devel" group. To unsubscribe from this group and stop receiving

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

+1 for Github (personally I still prefer Trac, but the bus factor argument and recruitment of new contributors are more important) emanuel.c...@gmail.com schrieb am Freitag, 23. September 2022 um 08:37:26 UTC+2: > +1 for Github > > Also wishing for contingency plan for re-migrating to

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

+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 extensive discussion, both recently >

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

+1 for Github as I'm new to open source,it would be easy for me to learn and contribute through github as ik some of it it would be awesome On Wednesday, September 21, 2022 at 10:53:36 PM UTC+5:30 David Roe wrote: > Dear Sage developers, > Following extensive discussion, both recently >

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

+1 for GitHub, and GitLab mirror later On Wednesday, September 21, 2022 at 7:23:36 PM UTC+2 David Roe wrote: > Dear Sage developers, > Following extensive discussion, both recently > > (prompted > by issues upgrading the

[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

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

+1 for Github On Wednesday, September 21, 2022 at 11:23:36 AM UTC-6 David Roe wrote: > Dear Sage developers, > Following extensive discussion, both recently > > (prompted > by issues upgrading the trac server) and over >

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

+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 > > (prompted > by issues upgrading the trac server) and over >

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 >>

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

+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 > > (prompted > by issues upgrading the trac server) and over >

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

[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

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

+1 for Github On Wednesday, September 21, 2022 at 1:57:43 PM UTC-4 Matthias Koeppe wrote: > +1 for Github > > On Wednesday, September 21, 2022 at 10:23:36 AM UTC-7 David Roe wrote: > >> Dear Sage developers, >> Following extensive discussion, both recently >>

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

+1 for Github On Wednesday, September 21, 2022 at 12:57:43 PM UTC-5 Matthias Koeppe wrote: > +1 for Github > > On Wednesday, September 21, 2022 at 10:23:36 AM UTC-7 David Roe wrote: > >> Dear Sage developers, >> Following extensive discussion, both recently >>

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

+1 for Github On Wednesday, September 21, 2022 at 10:23:36 AM UTC-7 David Roe wrote: > Dear Sage developers, > Following extensive discussion, both recently > > (prompted > by issues upgrading the trac server) and over >

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

+1 for Github On Wednesday, September 21, 2022 at 1:23:36 PM UTC-4 David Roe wrote: > Dear Sage developers, > Following extensive discussion, both recently > > (prompted > by issues upgrading the trac server) and over >