<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Wed, Sep 10, 2014 at 5:32 AM, Renato Golin <span dir="ltr"><<a href="mailto:renato.golin@linaro.org" target="_blank">renato.golin@linaro.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 10 September 2014 13:09, Anton Korobeynikov <<a href="mailto:anton@korobeynikov.info">anton@korobeynikov.info</a>> wrote:<br>
> git mirror is located on <a href="http://llvm.org" target="_blank">llvm.org</a> as well... :)<br>
<br>
</span>d'oh!</blockquote><div><br></div><div>But I don't think there's a reason we couldn't point the bots at the git<b>hub</b> mirrors. I'm not sure if they lag the official mirror though.</div></div></div></div>