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

I don't think it's useful to reflect this change in a version number. I think it can just happen in the middle of the 9.8 release cycle. On Sunday, September 25, 2022 at 8:21:41 PM UTC-7 John H Palmieri wrote: > Will the changeover also mark Sage 10.0? Is there a vision for what Sage > 10.0

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

Will the changeover also mark Sage 10.0? Is there a vision for what Sage 10.0 means? On Saturday, September 24, 2022 at 8:48:15 PM UTC-7 Matthias Koeppe wrote: > I've added this to >