If you look at the bot online, there's usually an admin listed. For example:


I've CC'd the admins of the bots from Paul's list that are failing.


-----Original Message-----
From: Davide Italiano <dccitali...@gmail.com> 
Sent: Friday, January 11, 2019 3:12 PM
To: Stella Stamenova <sti...@microsoft.com>
Cc: Robinson, Paul <paul.robin...@sony.com>; Pavel Labath <pa...@labath.sk>; 
Zachary Turner <ztur...@google.com>; LLDB <lldb-dev@lists.llvm.org>
Subject: Re: [lldb-dev] LLDB bot health

On Fri, Jan 11, 2019 at 3:07 PM Stella Stamenova <sti...@microsoft.com> wrote:
> Thanks Davide,
> 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.

I agree. I don't know who owns these bots, is there an easy way to find? (or 
just cc: them to these e-mail).
We can then ask Galina to just remove the bots if nobody maintains them.


lldb-dev mailing list

Reply via email to