jenkins builders offline

[James Peach]

Hi all,

Looks like we have 5 builders off line: 
http://ci.trafficserver.apache.org/computer/. What do we need to do to kick 
these? Is there a way to alert when we lose a builder?

J