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

[Jani Nikula]

On Mon, 09 Oct 2017, Daniel Stone <daniel at fooishbar.org> wrote:
> 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.

Sorry, how do you do these two steps exactly? I tried looking around in
the docs, [1] is the closest I could find but nothing on https.

BR,
Jani.


[1] https://www.freedesktop.org/wiki/Infrastructure/git/RepositoryAdmin/
    

-- 
Jani Nikula, Intel Open Source Technology Center