[maintainers-tools] dim: Clarify how to proceed when adding drm-xxx remotes

[Daniel Stone]

Hi,

On 28 February 2017 at 12:36, Boris Brezillon
<boris.brezillon at free-electrons.com> wrote:
> @@ -54,6 +54,13 @@ This will also check out the latest maintainer-tools branches, so please replace
>  the dim you just downloaded with a symlink after this step. And by the way, if
>  you have improvements for dim, please submit them to intel-gfx.
>
> +If you have a freedesktop.org account and plan to push things on one of the
> +drm-xxx repos, you should use the ssh://git.freedesktop.org/git/drm-xxx urls
> +when adding a remote and, if it's not already done, you should add new entry in
> +~/.ssh/config:
> +
> +    $ printf '\nHost git.freedesktop.org\n\tUser <username>' >> ~/.ssh/config
> +

Bikeshed time:

You should always use the ssh://git.freedesktop.org/git/drm-xxx URLs for your
git remote entries. If you need to specify a username, rather than specifying it
in the remote URL, you can modify ~/.ssh/config:

    $ printf '\nHost git.freedesktop.org\n\tUser <username>' >> ~/.ssh/config

with that, it's:
Reviewed-by: Daniel Stone <daniels at collabora.com>

Cheers,
Daniel