I've renamed it to ocaml-manual. GitHub maintains a redirection, so the scripts can continue to push to the old name.
https://github.com/ocaml/ocaml-manual -anil On 8 Apr 2014, at 14:35, Gabriel Scherer <[email protected]> wrote: > Sure, let's consider this repository is also part of the PR experiment. > > Jacques-Pascal: that's a good remark, but to be fair the names comes > from the original SVN repository for the ocaml manual, itself named > "ocamldoc". I agree "ocaml-manual" would be a better name. > > > On Tue, Apr 8, 2014 at 2:37 PM, Jeremy Yallop <[email protected]> wrote: >> On 30 January 2014 11:34, Gabriel Scherer <[email protected]> wrote: >>> TL;DR: During the six next months, we will follow pull requests (PR) >>> posted on the github mirror of the OCaml distribution, as an >>> alternative to the mantis bugtracker. >> >> We now also have a GitHub mirror of the OCaml manual: >> >> https://github.com/ocaml/ocamldoc/ >> >> Could we please extend the experiment to include pull requests to the >> manual as well as to the main source tree? There have been a few pull >> requests recently that will need corresponding updates to the >> documentation. It'd be useful to give source and documentation >> changes the same visibility. > _______________________________________________ > Platform mailing list > [email protected] > http://lists.ocaml.org/listinfo/platform > _______________________________________________ Platform mailing list [email protected] http://lists.ocaml.org/listinfo/platform
