Hi Stephen,

On 1 December 2016 at 20:45, Stephen Rothwell [off-list ref] wrote:

On Thu, 01 Dec 2016 11:02:26 +0000 Daniel Stone [off-list ref] wrote:

quoted

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