Re: [git pull] drm fixes

From: Linus Torvalds
Date: Fri Apr 22 2016 - 13:31:06 EST

On Fri, Apr 22, 2016 at 10:23 AM, Daniel Vetter <daniel@xxxxxxxx> wrote:
> Works all fine here, http, ssh & git protocols all up&running well.
> Maybe temporary, or just your part of the interwebs fell off?

It's up for me now too, so something temporary. I don't think it was
at my end, everything else seemed to work fine and be reachable..

Maybe it was going through a reboot and I was just unlucky with timing.