Hi,
On 28 February 2017 at 12:36, Boris Brezillon
<boris.brezillon@xxxxxxxxxxxxxxxxxx> 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@xxxxxxxxxxxxx>
Cheers,
Daniel
_______________________________________________
dri-devel mailing list
dri-devel@xxxxxxxxxxxxxxxxxxxxx
https://lists.freedesktop.org/mailman/listinfo/dri-devel
