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

[Daniel Stone]

Hey,

On 9 October 2017 at 11:30, Jani Nikula <jani.nikula at intel.com> wrote:
> On Tue, 03 Oct 2017, Jani Nikula <jani.nikula at intel.com> 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 pushed, so https://
> should just work for all repos *except* Dave's drm tree. I don't know
> why, but [1] doesn't advertize https for it.

Probably because it's not linked in from his public_html? He'd need to
do that, and also make sure that git-update-server-info was run in a
hook somewhere too.

Cheers,
Daniel