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

[TB]

-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 mercredi 21 septembre 2022 à 19:23:36 UTC+2, David Roe a écrit : Dear Sage developers, Following extensive discussion, both recently (prompted by issues upgrading the trac server) and over the last decade, we are calling a vote on switching Sage development from Trac to Github.  We've created a summary of the pros and cons of each system, a description of the development model to be used on github, and a trac ticket for coordinating work on the transition.  More work will need to be done to carry out the actual transition once voting is complete. The voting will last until noon Eastern time (16:00 UTC) on Wednesday, October 5.  Please use this thread only for sending votes, to make it easier to count them afterward; there is a parallel thread where you can make arguments in favor of either system. Finally, I will close with a plea to be involved in this vote and discussion even if you are not a core Sage developer.  By definition, core Sage developers have become comfortable with trac, and I think that one of the major arguments in favor of github is that it will help bring in new contributors who are not familiar with Sage's development workfow.  Anyone who has ever contributed to the Sage code base or who maintains a Sage user package is welcome to vote. David -- 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/msgid/sage-devel/2543b60f-4ef8-4e44-8a86-3847f7e7b8dbn%40googlegroups.com. -- 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/msgid/sage-devel/d48849b9-4a8e-8828-5036-e417d632bdb0%40gmail.com.