On Wed, 27 Sep 2017, Andrzej Hajda <a.hajda@xxxxxxxxxxx> wrote: > On 25.08.2017 13:31, Andrzej Hajda wrote: >> dim finds remote name by matching repository urls, but different users >> requires different protocols/paths for remotes (ssh/git/https). Current >> code incorrectly translates provided url to alternatives, the patch >> fixes it. >> >> Signed-off-by: Andrzej Hajda <a.hajda@xxxxxxxxxxx> > > Gently ping. Apologies for the delay. I had a hard time understanding all the sed trickery you have there. Then I decided the right solution is to be able to configure multiple URLs in nightly.conf for each repo in drm_tip_repos. Patch follows adding this support to dim, untested because I need to run now. Unfortunately we can't update nightly.conf before dim users have upgraded to the patched version, because otherwise their setups would break. BR, Jani. -- Jani Nikula, Intel Open Source Technology Center _______________________________________________ dri-devel mailing list dri-devel@xxxxxxxxxxxxxxxxxxxxx https://lists.freedesktop.org/mailman/listinfo/dri-devel