<div dir="ltr">> It's just a place to put things that are of general use to the OCaml community and have no other logical place to go.<br><br>Thanks for the clarification. That's a fine semantics, which fully supports the inclusion of Tuareg.<br>

<div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Jan 7, 2014 at 2:56 PM, Ashish Agarwal <span dir="ltr"><<a href="mailto:agarwal1975@gmail.com" target="_blank">agarwal1975@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">We're overthinking the meaning of <a href="http://github.com/ocaml" target="_blank">github.com/ocaml</a>. Having a repo there doesn't make it better or more official than code elsewhere. It's just a place to put things that are of general use to the OCaml community and have no other logical place to go. I see no reason we couldn't have two emacs modes hosted there.</div>



<div class="gmail_extra"><br><br><div class="gmail_quote"><div><div class="h5">On Tue, Jan 7, 2014 at 8:35 AM, Anil Madhavapeddy <span dir="ltr"><<a href="mailto:anil@recoil.org" target="_blank">anil@recoil.org</a>></span> wrote:<br>

</div></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><div class="h5">

<div>On 5 Jan 2014, at 10:15, Christophe Troestler <<a href="mailto:Christophe.Troestler@umons.ac.be" target="_blank">Christophe.Troestler@umons.ac.be</a>> wrote:<br>
<br>
> Hi Gabriel,<br>
><br>
> On Sun, 5 Jan 2014 00:06:47 +0100, Gabriel Scherer wrote:<br>
>><br>
>> I hope this does not sound too negative, but I'm not sure we would<br>
>> gain by "blessing" tuareg as "the" ocaml editor mode for Emacs.<br>
><br>
> No offense taken.  My point in asking Tuareg to be under the OCaml<br>
> umbrella is that it is not really a project of mine so I felt a bit<br>
> strange to have it under my name (but it can stay that way, I do not<br>
> mind so much either).<br>
<br>
</div>I actually think of <a href="http://github.com/ocaml" target="_blank">github.com/ocaml</a> not as an "official" blessing<br>
(whatever that means), but as a place where repositories used by<br>
the <a href="http://ocaml.org" target="_blank">ocaml.org</a> infrastructure can have a home.<br>
<br>
In this case, I'd like to see all the editor tools centralized on<br>
the GitHub so that we can clone them to regularly publish a Vagrant<br>
VM with all the build tools installed by default.  If Tuareg is the<br>
correct Emacs editor mode of choice *at the moment*, then it's<br>
appropriate to host there.  This should be a separate discussion<br>
from future fixes to Emacs-mode (which is, of course, important as<br>
well, but shouldn't block the Vagrant release).<br>
<br>
Anyway, Vim mode is easy ("use Merlin!"), so you'll all have to<br>
educate me on the Emacs story over at:<br>
<a href="https://github.com/ocaml/opam/issues/1035" target="_blank">https://github.com/ocaml/opam/issues/1035</a><br>
<span><font color="#888888"><br>
-anil<br>
</font></span></div></div><div class="im"><div><div>_______________________________________________<br>
Infrastructure mailing list<br>
<a href="mailto:Infrastructure@lists.ocaml.org" target="_blank">Infrastructure@lists.ocaml.org</a><br>
<a href="http://lists.ocaml.org/listinfo/infrastructure" target="_blank">http://lists.ocaml.org/listinfo/infrastructure</a><br>
</div></div></div></blockquote></div><br></div>
<br>_______________________________________________<br>
Infrastructure mailing list<br>
<a href="mailto:Infrastructure@lists.ocaml.org">Infrastructure@lists.ocaml.org</a><br>
<a href="http://lists.ocaml.org/listinfo/infrastructure" target="_blank">http://lists.ocaml.org/listinfo/infrastructure</a><br>
<br></blockquote></div><br></div></div>