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

+1 for GitHub El jueves, 22 de septiembre de 2022 a las 18:43:02 UTC+2, martinr...@googlemail.com escribió: > +1 for GitHub > > On Wed, Sep 21 2022, David Roe wrote: > > Dear Sage developers, > > Following extensive discussion, both recently > >

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

+1 for GitHub On Wed, Sep 21 2022, David Roe wrote: > Dear Sage developers, > Following extensive discussion, both recently > > (prompted > by issues upgrading the trac server) and over >

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

+1 for GitHub Clemens Heuberger Am 21.09.22 um 19:23 schrieb David Roe: Dear Sage developers, Following extensive discussion, both recently  (prompted by issues upgrading the trac server) and over

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

0(I like trac, but I am unable and unwilling to contribute to it) On Thursday, 22 September 2022 at 16:38:59 UTC+2 tobias...@gmail.com wrote: > +1 for Github > > On Thursday, 22 September 2022 at 14:19:57 UTC+2 Jonathan wrote: > >> +1 for Github >> >> On Thursday, September 22, 2022 at 5:06:0

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

+1 for Github On Thursday, 22 September 2022 at 14:19:57 UTC+2 Jonathan wrote: > +1 for Github > > On Thursday, September 22, 2022 at 5:06:02 AM UTC-5 antoine@gmail.com > wrote: > >> +1 for Github >> >> Le jeudi 22 septembre 2022 à 11:38:17 UTC+2, chris wuthrich a écrit : >> >>> >>> 0(No

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

+1 for Github On Thursday, September 22, 2022 at 5:06:02 AM UTC-5 antoine@gmail.com wrote: > +1 for Github > > Le jeudi 22 septembre 2022 à 11:38:17 UTC+2, chris wuthrich a écrit : > >> >> 0(No real preference and too little understanding of the matter, but >> very happy that we have a

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

+1 for Github Le jeudi 22 septembre 2022 à 11:38:17 UTC+2, chris wuthrich a écrit : > > 0(No real preference and too little understanding of the matter, but > very happy that we have a meaningful vote on things like this.) -- You received this message because you are subscribed to the Goog

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

0(No real preference and too little understanding of the matter, but very happy that we have a meaningful vote on things like this.) -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails fro

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

+1 for GitHub On Wednesday, September 21, 2022 at 9:35:07 PM UTC-7 idealpr...@gmail.com wrote: > +1 for GitHub. Mirroring to GitLab can be considered later. > > On Thursday, September 22, 2022 at 8:45:22 AM UTC+5:30 Nathan Dunfield > wrote: > >> +1 for GitHub > > -- You received this message

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

+1 for Github. Le 21/09/2022 à 19:23, David Roe a écrit : Dear Sage developers, Following extensive discussion, both recently  (prompted by issues upgrading the trac server) and over

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

+1 for GitHub. Mirroring to GitLab can be considered later. On Thursday, September 22, 2022 at 8:45:22 AM UTC+5:30 Nathan Dunfield wrote: > +1 for GitHub -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop re

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

+1 for Github On Thu, 22 Sep 2022, 07:15 Nathan Dunfield, wrote: > +1 for GitHub > > -- > 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...@

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

+1 for GitHub -- 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.goo

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

-1 On Thursday, September 22, 2022 at 11:50:56 AM UTC+9 dev@gmail.com wrote: > +1 for Github > > 在2022年9月22日星期四 UTC+8 06:01:46 写道： > >> +1 for Github >> >> Op wo 21 sep. 2022 19:23 schreef David Roe : >> >>> Dear Sage developers, >>> Following extensive discussion, both recently >>>

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

+1 for Github 在2022年9月22日星期四 UTC+8 06:01:46 写道： > +1 for Github > > Op wo 21 sep. 2022 19:23 schreef David Roe : > >> Dear Sage developers, >> Following extensive discussion, both recently >> >> (prompted >> by issues upgrad

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

+1 for Github -- 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.goo

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

+1 for Github Op wo 21 sep. 2022 19:23 schreef David Roe : > Dear Sage developers, > Following extensive discussion, both recently > > (prompted > by issues upgrading the trac server) and over >

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

+1 for GitHub (if I am allowed to vote). Guillermo On Wed, 21 Sept 2022 at 19:23, David Roe wrote: > Dear Sage developers, > Following extensive discussion, both recently > > (prompted > by issues upgrading the trac server)

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

+1 for Github. Le mercredi 21 septembre 2022 à 14:43:22 UTC-4, Fredrik Johansson a écrit : > +1 for GitHub > > On Wednesday, September 21, 2022 at 8:30:16 PM UTC+2 > de...@benjamin-hackl.at wrote: > >> +1 for GitHub. >> >> >> >> On 21.09.2022, at 19:23, David Roe wrote: >> >> Dear Sage develope

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

+1 for GitHub On Wednesday, September 21, 2022 at 8:30:16 PM UTC+2 de...@benjamin-hackl.at wrote: > +1 for GitHub. > > > > On 21.09.2022, at 19:23, David Roe wrote: > > Dear Sage developers, > Following extensive discussion, both recently >

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

+1 for GitHub. > On 21.09.2022, at 19:23, David Roe wrote: > > Dear Sage developers, > Following extensive discussion, both recently > > (prompted by issues upgrading the trac server) and over >

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

+1 to GitHub On Wed, Sep 21, 2022 at 6:23 PM David Roe 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 cr

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

+1 for Github On Wed, Sep 21, 2022 at 1:36 PM William Stein wrote: > +1 for Github > > On Wed, Sep 21, 2022 at 10:23 AM David Roe wrote: > > > > Dear Sage developers, > > Following extensive discussion, both recently (prompted by issues > upgrading the trac server) and over the last decade, we

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

+1 for Github On Wed, Sep 21, 2022 at 10:23 AM David Roe 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

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

+1 for Github On Wed, Sep 21, 2022 at 1:23 PM David Roe 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 c

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

Dear Sage developers, Following extensive discussion, both recently (prompted by issues upgrading the trac server) and over the