On Mon, Sep 26, 2016 at 6:22 AM, Volker Braun <vbraun.n...@gmail.com> wrote:
> Yes, both the file server files.sagemath.org and buildbot build.sagemath.org
> are down...
>
I'll check on these when I'm next on campus (probably today).
William
>
>
> On Monday, September 26, 2016 at 2:25:52 PM UTC+2, leif wrote:
>>
>> Dima Pasechnik wrote:
>> > On Mon, Sep 26, 2016 at 7:50 AM, Harald Schilly
>> > <harald....@gmail.com> wrote:
>> >> On Mon, Sep 26, 2016 at 3:51 AM, Jonathan Bober <jwb...@gmail.com>
>> >> wrote:
>> >>> trac git://trac.sagemath.org/sage.git (fetch)
>> >>> trac g...@trac.sagemath.org:sage.git (push)
>> >>
>> >> As a random idea, since several others were also asking me about this:
>> >> Did you try setting both trac remotes to
>> >> g...@trac.sagemath.org:sage.git
>> >
>> >
>> > Oh right, this is exactly the problem. The port for git protocol is
>> > blocked
>> > (as most other ports on GCE hosts) so one has to use ssh
>> > (i.e. git@... syntax rather than git://... syntax)
>>
>> But that's new. E.g. 'git fetch' with git://{git,trac}...' worked for
>> me not that long ago. (I'm having other issues atm though.)
>>
>>
>> Orthogonal to that, I can no longer access files.sagemath.org etc.;
>> looks as if a bunch of IPs would get blocked since about Saturday (or
>> perhaps Friday), ping (ICMP) in contrast worked IIRC, doesn't either atm.
>>
>> (And I did get timeouts for http[s]://trac.sagemath.org yesterday as
>> well, which is yet another issue but others apparently had as well. To
>> that time, there ICMP definitely worked.)
>>
>>
>> -leif
>>
>>
> --
> 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.
--
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 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.
