On 12/06/2011 09:53 AM, Alain Frisch wrote: > That said, I'd argue to avoid creating a "community" fork.
I would like to point out that in the GitHub jargon, a "fork" is just a personal branch, usually intended to be merged back into the main repository via a so-called "pull request". I hope there won't be any misunderstanding because of that. Martin -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
