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.
