+1 for Github On Wed, Sep 21, 2022 at 1:36 PM William Stein <wst...@gmail.com> wrote:
> +1 for Github > > On Wed, Sep 21, 2022 at 10:23 AM David Roe <roed.m...@gmail.com> wrote: > > > > 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/CAChs6_%3DyvZ869L66E1tFmziWDirbawSEABf_uc_j9Dy8VBFW8w%40mail.gmail.com > . > > > > -- > William (http://wstein.org) > > -- > 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/CACLE5GB%3D%3De4Abi-DA8NKoA6CdmocQZceyzOqin9Gpzw4MHZn8g%40mail.gmail.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/CAChs6_%3D0RKZum1%2BmH%3DE1XvdaRxsF4vkGDirRiWCMM8Q5dsZtPw%40mail.gmail.com.
