Ok I will try to get some time to do it.
On Tue, Dec 12, 2017 at 11:48 AM, Marcus Denker <marcus.den...@inria.fr> wrote: > > > On 12 Dec 2017, at 00:18, Cyril Ferlicot <cyril.ferli...@gmail.com> wrote: > > > On mar. 12 déc. 2017 at 00:12, Stephane Ducasse <stepharo.s...@gmail.com> > wrote: >> >> Thanks marcus. >> Should I update all the pages of the lectures and other to use https? >> > For downloads that are images and the VM (everything that is executable), > yes. > >> Stef >> >> > Wouldn't it be simpler to set an automatic redirection from the http to the > https on the server? > > > We could do that, too. > > I think for all downloads of *executable* code we should in addition use > https:// in all links so people > see that it uses HTTPS early. > > Marcus >