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

[Sylvain Le Gall]

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...)

Thx
Sylvain