On Mon, Sep 26, 2016 at 7:24 AM, William Stein <wst...@gmail.com> wrote:
> 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).
It turns out the UPS is broken (a fuse is blown at the least...).
So probably the network switch has no power, etc., etc.
William
>
> 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)
--
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.
