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,

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