On Tuesday, September 12, 2017 at 3:28:06 PM UTC+1, vdelecroix wrote: > > There is already > > git://github.com/sagemath/sage.git >
this is not a full mirror of trac's git repo. > > On 12/09/2017 13:26, Dima Pasechnik wrote: > > A mirror on github is up (see another message here), enjoy... > > https://github.com/dimpase/sagetrac-mirror > > > > On Tuesday, September 12, 2017 at 12:05:53 PM UTC+1, Dima Pasechnik > wrote: > >> > >> basically same remote setup for me, and it still works fine; > >> We can set up a github mirror, perhaps... > >> > >> On Tuesday, September 12, 2017 at 11:58:57 AM UTC+1, Daniel Krenn > wrote: > >>> > >>> On 2017-09-12 12:49, Daniel Krenn wrote: > >>>> On 2017-09-12 12:04, Frédéric Chapoton wrote: > >>>>> I have access failures to the git repo from trac : > >>>>> > >>>>> chapoton@pc-chapoton:~/sage$ git pull trac > >>>>> u/mantepse/fricas_output_and_sage_conversion_bug > >>>>> fatal: read error: Connexion ré-initialisée par le correspondant > >>>>> > >>>>> Does anybody else suffers from that ? > >>>> > >>>> Yes, same here (since this some hours at least). > >>> > >>> Details: > >>> > >>> dakrenn@pc72-math /local/dakrenn/sage/source $ LANG=C git fetch trac > >>> fatal: read error: Connection reset by peer > >>> dakrenn@pc72-math /local/dakrenn/sage/source $ git remote -v > >>> trac git://trac.sagemath.org/sage.git (fetch) > >>> trac g...@trac.sagemath.org:sage.git (push) > >>> > >>> (from AT) > >>> > >> > > > -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.