SSL for speed.lean-fro.org

Stream: mathlib4

[Joachim Breitner]

http://speed.lean-fro.org/ doesn’t have HTTPS support yet. Depending on what OS that runs on, it should be simple to set up using letsencrypt, and I can help if that’s needed (at least if its a Debian or NixOS).

[Matthew Ballard]

It uses nginx right?

[Joachim Breitner]

Server: Apache/2.4.56 (Debian)

I guess @Sebastian Ullrich set it up, and I predict he will either just fix it, because it’s less work than giving others access, or will give me access, not because he needs the help here but in the hope of further ops help :-)

[Sebastian Ullrich]

Yes, I want this eventually migrated to NixOS and its letsencrypt two-liner but packaging VelCom in Nix turned out quite a hassle and also provisioning via nixops failed due to https://github.com/aszlig/hetzner/issues/62 (but now that the servers are running we should just nixos-infect them when everything is ready)