Re: [git pull] drm fixes

From: Daniel Vetter
Date: Fri Apr 22 2016 - 13:23:14 EST


On Fri, Apr 22, 2016 at 7:16 PM, Linus Torvalds
<torvalds@xxxxxxxxxxxxxxxxxxxx> wrote:
> On Thu, Apr 21, 2016 at 5:57 PM, Dave Airlie <airlied@xxxxxxxx> wrote:
>>
>> git://people.freedesktop.org/~airlied/linux drm-fixes
>
> Hmm. freedesktop.org seems to be feeling a bit under the weather. It's
> not just the git part - it's not doing web either, and doesn't seem to
> answer to pings either (I saw _one_ ping response, but that was over a
> minute or two, so..)
>
> Can you kick it? Do you have a mirror?

Works all fine here, http, ssh & git protocols all up&running well.
Maybe temporary, or just your part of the interwebs fell off?
-Daniel
--
Daniel Vetter
Software Engineer, Intel Corporation
+41 (0) 79 365 57 48 - http://blog.ffwll.ch