On Mon, 09 Oct 2017, Daniel Stone <daniel@xxxxxxxxxxxxx> wrote: > Hey, > > On 9 October 2017 at 11:30, Jani Nikula <jani.nikula@xxxxxxxxx> wrote: >> On Tue, 03 Oct 2017, Jani Nikula <jani.nikula@xxxxxxxxx> 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 _______________________________________________ dri-devel mailing list dri-devel@xxxxxxxxxxxxxxxxxxxxx https://lists.freedesktop.org/mailman/listinfo/dri-devel
