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

[Michael Gottesman]

I imagine it is dns caching. (Went to their status page and they specifically mention that issue).

So sounds like you are correct.

Michael

> On Oct 21, 2016, at 10:24 AM, Ron Olson <tachoknight at gmail.com> wrote:
> 
> 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
>>