Re: [dim PATCH] dim: allow a space separated list of URLs for each repo in drm_tip_repos

2017-10-11 Thread Jani Nikula
On Mon, 09 Oct 2017, Daniel Stone wrote: > Hey, > > On 9 October 2017 at 11:30, Jani Nikula wrote: >> On Tue, 03 Oct 2017, Jani Nikula wrote: >>> I merged this last week with Daniel's IRC ack. We'll need to give people >>> a

Re: [dim PATCH] dim: allow a space separated list of URLs for each repo in drm_tip_repos

2017-10-10 Thread Andrzej Hajda
On 09.10.2017 12:30, Jani Nikula wrote: > On Tue, 03 Oct 2017, Jani Nikula wrote: >> I merged this last week with Daniel's IRC ack. We'll need to give people >> a little bit of time before updating nightly.conf. Sorry for the >> inconvenience in the mean time. > Andrzej,

Re: [dim PATCH] dim: allow a space separated list of URLs for each repo in drm_tip_repos

2017-10-09 Thread Daniel Stone
Hey, On 9 October 2017 at 11:30, Jani Nikula wrote: > On Tue, 03 Oct 2017, Jani Nikula wrote: >> I merged this last week with Daniel's IRC ack. We'll need to give people >> a little bit of time before updating nightly.conf. Sorry for the >>

Re: [dim PATCH] dim: allow a space separated list of URLs for each repo in drm_tip_repos

2017-10-09 Thread Jani Nikula
On Tue, 03 Oct 2017, Jani Nikula wrote: > I merged this last week with Daniel's IRC ack. We'll need to give people > a little bit of time before updating nightly.conf. Sorry for the > inconvenience in the mean time. Andrzej, all the bits and pieces for this have been

Re: [dim PATCH] dim: allow a space separated list of URLs for each repo in drm_tip_repos

2017-10-03 Thread Daniel Vetter
On Tue, Oct 03, 2017 at 09:15:46AM +0300, Jani Nikula wrote: > On Thu, 28 Sep 2017, Jani Nikula wrote: > > This lets us configure a space separated list of URLs for each repo in > > drm_tip_repos, with all accepted protocols and sources, and the first > > one found gets

Re: [dim PATCH] dim: allow a space separated list of URLs for each repo in drm_tip_repos

2017-10-03 Thread Jani Nikula
On Thu, 28 Sep 2017, Jani Nikula wrote: > This lets us configure a space separated list of URLs for each repo in > drm_tip_repos, with all accepted protocols and sources, and the first > one found gets picked. This way we don't have to have a complicated set > of rules for

[dim PATCH] dim: allow a space separated list of URLs for each repo in drm_tip_repos

2017-09-28 Thread Jani Nikula
This lets us configure a space separated list of URLs for each repo in drm_tip_repos, with all accepted protocols and sources, and the first one found gets picked. This way we don't have to have a complicated set of rules for converting between ssh, git and https protocol URLs. Signed-off-by: