Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S932637AbcDVRRB (ORCPT ); Fri, 22 Apr 2016 13:17:01 -0400 Received: from mail-ig0-f196.google.com ([209.85.213.196]:34173 "EHLO mail-ig0-f196.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S932467AbcDVRQ7 (ORCPT ); Fri, 22 Apr 2016 13:16:59 -0400 MIME-Version: 1.0 In-Reply-To: References: Date: Fri, 22 Apr 2016 10:16:58 -0700 X-Google-Sender-Auth: ZiIzre8ceVkq3EHi7r8jXgkFyxU Message-ID: Subject: Re: [git pull] drm fixes From: Linus Torvalds To: Dave Airlie Cc: DRI mailing list , Linux Kernel Mailing List Content-Type: text/plain; charset=UTF-8 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 432 Lines: 12 On Thu, Apr 21, 2016 at 5:57 PM, Dave Airlie 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? Linus