IMHO, there is more to OPAM's contributor-friendliness than "being on GitHub". But having a clear, simple process for contributing to OPAM may help. My 2 zorkmids, Nicolas Le 7/22/13 7:44 PM, oliver a écrit : > On Mon, Jul 22, 2013 at 11:21:26PM +0200, Gerd Stolpmann wrote: > [...] >> The sad part is that OPAM is only clearly better in one point, namely in >> interacting with the community (via Github). > [...] > > If this is the one and only problem, it might be solved, > by putting GODI on github. > > > Ciao, > Oliver >