It should be fixed now. On Thursday, July 23, 2015, mmarco <mma...@unizar.es> wrote:
> Also, the https version of trac.sagemath.org does not work. > > I guess that points to a problem with SSL/TLS > > El jueves, 23 de julio de 2015, 15:32:02 (UTC+2), Jori Mäntysalo escribió: >> >> On Thu, 23 Jul 2015, Jan Keitel wrote: >> >> > Same here: >> > jkeitel@pcl337b:~/sage/sage> git pull trac develop >> > ssh: connect to host trac.sagemath.org port 2222: Connection timed out >> > fatal: Could not read from remote repository. >> >> I am also not able to pull anything, but was able to push few lines of >> code. >> >> -- >> Jori Mäntysalo >> > -- > 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 > <javascript:_e(%7B%7D,'cvml','sage-devel%2bunsubscr...@googlegroups.com');> > . > To post to this group, send email to sage-devel@googlegroups.com > <javascript:_e(%7B%7D,'cvml','sage-devel@googlegroups.com');>. > Visit this group at http://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. > -- Sent from my massive iPhone 6 plus. -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.