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

From: Linus Torvalds
Date: Wed Jun 06 2018 - 11:12:36 EST


On Tue, Jun 5, 2018 at 8:50 PM Dave Airlie <airlied@xxxxxxxxx> 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 in the future. If there are any issues in the pull formatting or with the
> hopefully correctly signed tag, let me know.

No problem. As long as I see that it's signed by you, I don't care
where it ends up being.

Everything looked normal.

Linus