[sage-devel] Re: Invitation: Weekly 30-minute Sage developer calls on Jitsi

New times: Calls for Europe / Africa / Americas: Monday noon, 12:15pm San Francisco Monday afternoon, 3:15pm New York Monday evening, 21:15 Paris https://meet.jit.si/VibrantTribesBearEver

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

Speaking of backups ... do we backup the sage-devel, sage-support news groups? It contains a lot of stuff that loses relevance with time, but every now and again there are discussions that contain important bits of information. In fact, they are sometimes referred to on trac, via super-opaque U

[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 à 19:23:3