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. Thanks, -- Davide _______________________________________________ lldb-dev mailing list lldb-dev@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/lldb-dev
