Re: [git pull] drm for v4.18-rc1

2018-06-06 Thread Daniel Stone
Hi, On 6 June 2018 at 04:50, Dave Airlie wrote: > First up I've moved the drm tree to a new location on freedesktop.org. The > main > reason was to explore using Daniel's maintainer tools (dim-tools) to manage > pull requests and possibly open the drm to having co-maintainers at the top > level

Re: [git pull] drm for v4.18-rc1

2018-06-06 Thread Linus Torvalds
On Tue, Jun 5, 2018 at 8:50 PM Dave Airlie wrote: > > First up I've moved the drm tree to a new location on freedesktop.org. The > main > reason was to explore using Daniel's maintainer tools (dim-tools) to manage > pull requests and possibly open the drm to having co-maintainers at the top > lev