Hello all, Any objection to creating and migrating to a builds@ list for all these Jenkins alerts?
They're relevant to the committers, for sure, but I think they produce too much noise for anyone who's on the list because they are interested in dev-related topics. - Mike
