<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">On 22 Jan 2016, at 04:25, Fabrice Le Fessant <<a href="mailto:Fabrice.Le_fessant@inria.fr" class="">Fabrice.Le_fessant@inria.fr</a>> wrote:<br class=""><div><blockquote type="cite" class=""><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class=""><div class="gmail_quote"><div dir="ltr" class="">On Thu, Jan 21, 2016 at 3:53 PM Ashish Agarwal <<a href="mailto:agarwal1975@gmail.com" class="">agarwal1975@gmail.com</a>> wrote:<br class=""></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr" class=""><div class="gmail_extra"><div class="gmail_quote">On Thu, Jan 21, 2016 at 8:42 AM, Anil Madhavapeddy <span dir="ltr" class=""><<a href="mailto:anil@recoil.org" target="_blank" class="">anil@recoil.org</a>></span> wrote:<br class=""><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">I'd prefer to give both Louis and Fabrice merge access to <a href="http://ocaml.org/" rel="noreferrer" target="_blank" class="">ocaml.org</a>.<br class=""></blockquote><div class=""><br class=""></div></div></div></div><div dir="ltr" class=""><div class="gmail_extra"><div class="gmail_quote"><div class="">Me too. Only problem is it is unclear Fabrice wants this. I've had some offline exchanges with him, and he clearly expressed an opposite interest. Of course that contradicts his other comments, so now I'm confused. I hope he'll clarify.</div></div></div></div></blockquote><div class=""><br class=""></div><div class="">If nobody is against, then it is a consensus ! Wonderful, let's do it !</div></div></div></div></blockquote><div><br class=""></div>I have added you to the <a href="http://ocaml.org" class="">ocaml.org</a>-dev team -- Louis was already a member. Welcome!</div><div><br class=""><blockquote type="cite" class=""><div class=""><div dir="ltr" class=""><div class="gmail_quote"><div class="">And my organization should be Inria/OCamlPro/Irill/Oups/mySelf :-)</div></div></div></div></blockquote><div><br class=""></div>I suggest that a first PR might be for the new maintainer to add themselves to the maintainer list on the website :-)</div><div><br class=""></div><div>best,</div><div>Anil</div></body></html>