On Wed, 27 Sep 2017, Andrzej Hajda <[email protected]> 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 <[email protected]> > > 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 [email protected] https://lists.freedesktop.org/mailman/listinfo/dri-devel
