<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">On Nov 18, 2019, at 4:30 PM, Mehdi AMINI via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" class="">llvm-dev@lists.llvm.org</a>> wrote:<div><blockquote type="cite" class=""><div class=""><div dir="ltr" class=""><div dir="ltr" class=""><div dir="ltr" class=""><div class=""><div class=""><div class=""><div class="gmail_quote"></div></div></div><div class=""></div></div><div class=""><div dir="ltr" class="gmail_attr">On Mon, Nov 18, 2019 at 12:43 PM Zachary Turner <<a href="mailto:zturner@roblox.com" target="_blank" class="">zturner@roblox.com</a>> wrote:<br class=""></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div dir="ltr" class="">Discourse archives are not searchable on the web.  <div class=""></div></div></blockquote><div dir="auto" class=""><br class=""></div></div><div class=""><div class=""><div dir="auto" class="">Just to clear up any confusion with Discord here because the names are close: Discourse is totally unrelated to Discord, it is open-source <div class=""><a href="https://github.com/discourse/discourse" target="_blank" class="">https://github.com/discourse/discourse</a> and does not share (I believe) the same questions about terms of uses etc. with Discord.</div></div></div></div></div></div></div></div></blockquote><br class=""></div><div>Yes, I agree that this is a likely source of confusion.</div><div><br class=""></div><div>I think it would also be very helpful to split the discussion about “what to do about IRC” from “what to do about email” -- because they are entirely separable and carry different issues and concerns.</div><div><br class=""></div><div>I think it is best for this thread to wind its way forward however it does, but I’d recommend that any follow-on threads focus on one or the other, instead of mixing both topics into one discussion.</div><div><br class=""></div><div>-Chris</div><div><br class=""></div></body></html>