5 ms·OCaml now uses Github as its official repo and accepts PRs.by afrisch 10y agoOCaml now uses Github as its official repo and accepts PRs.