[swift-dev] PRs not triggering with @swift-ci

[Ron Olson]

Weird that it's working for you; I can't get to any github.com page on 
any machine (and I was using it just this morning).

On 21 Oct 2016, at 12:22, Michael Gottesman wrote:

>
>> On Oct 21, 2016, at 10:14 AM, Ron Olson via swift-dev 
>> <swift-dev at swift.org> wrote:
>>
>> Looks like GitHub is down due to that DDOS on the Dyn DNS servers 
>> that is in the news at the moment.
>
> I am not having that issue. But maybe it is b/c I have github in my 
> dns cache and the bots do not (even though I find that to be 
> unlikely). Also when I look online, I see that the news reports are 
> saying that the issue has been resolved.
>
> Mishal/Doug, do you have any insight into this?
>
>>
>> On 21 Oct 2016, at 12:12, Michael Gottesman via swift-dev wrote:
>>
>>> I have been trying to trigger pull request testing for a little bit 
>>> and nothing seems to be happening. Is anyone else running into this? 
>>> This is the PR:
>>>
>>> https://github.com/apple/swift/pull/5396
>>> _______________________________________________
>>> swift-dev mailing list
>>> swift-dev at swift.org
>>> https://lists.swift.org/mailman/listinfo/swift-dev
>> _______________________________________________
>> swift-dev mailing list
>> swift-dev at swift.org
>> https://lists.swift.org/mailman/listinfo/swift-dev
>