<div dir="ltr">I own this one: <span style="color:rgb(33,33,33)">lldb-x86-windows-msvc2015</span><div><span style="color:rgb(33,33,33)"><br></span></div><div><span style="color:rgb(33,33,33)">It can be removed, especially now that Stella's is strictly better than mine was even when it was working.</span></div><div><span style="color:rgb(33,33,33)"><br></span></div><div><span style="color:rgb(33,33,33)">There will probably be an effort on our side to get the Linux bots up and running again "soon", but I don't have an exact timeline right now.</span></div></div><br><div class="gmail_quote"><div dir="ltr">On Fri, Jan 11, 2019 at 3:12 PM Davide Italiano <<a href="mailto:dccitaliano@gmail.com">dccitaliano@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Fri, Jan 11, 2019 at 3:07 PM Stella Stamenova <<a href="mailto:stilis@microsoft.com" target="_blank">stilis@microsoft.com</a>> wrote:<br>
><br>
> Thanks Davide,<br>
><br>
> I think several of these bots have not been maintained for a while. One thing we could do is try to ping the owners and see if it's possible to update the bots or if they're no longer useful, then remove them.<br>
><br>
<br>
I agree. I don't know who owns these bots, is there an easy way to<br>
find? (or just cc: them to these e-mail).<br>
We can then ask Galina to just remove the bots if nobody maintains them.<br>
<br>
Thanks,<br>
<br>
--<br>
Davide<br>
</blockquote></div>