[ocaml-infra] DNS for forge.ocaml.org

[Sylvain Le Gall]

I think I have fixed the situation.

$> openssl s_client -host forge.ocamlcore.org -port 443
gives no more errors

It works also for mobile.

The problem was related to a missing intermediate certificate.

Please test and report if there are still failures.


2013/4/5 Christophe TROESTLER <Christophe.Troestler at umons.ac.be>:
> On Fri, 5 Apr 2013 16:47:02 +0200, Sylvain Le Gall wrote:
>>
>> Hi Anil,
>>
>> Can you setup the DNS for forge.ocaml.org ?
>>
>> I would like to have
>>
>> forge CNAME forge.ocamlcore.org.
>> and
>> *.forge CNAME forge.ocamlcore.org (for ounit.forge.ocaml.org,
>> oasis.forge.ocaml.org...)
>
> While we are at it, updating the https certificate to something that
> checks would be nice.