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

[Christophe TROESTLER]

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.