Hi Stephen, On 1 December 2016 at 20:45, Stephen Rothwell <s...@canb.auug.org.au> wrote: > On Thu, 01 Dec 2016 11:02:26 +0000 Daniel Stone <dani...@collabora.com> wrote: >> Sorry about this, it is quite bad. I think having mirrors for the key DRM >> trees on GitHub is a good idea though, and I can get to setting that up. >> Stephen, you need DRM (airlied), drm-misc, drm-panel, drm-intel, drm-tegra, >> drm-exynos and drm-msm, right? > > Well, here are the trees I fetch from *.freedesktop.org: > > [...] > > I did not have any trouble with the people.fd.o ones.
That's actually interesting, given that they lie on the same host. Perhaps it means that the locally-mounted ones were fine, and it was the NFS (cough) mount between git/anongit which took a dive ... thanks for the datapoint! Cheers, Daniel