[Python-buildbots] Is the bot master down?

Hi.

As I have been re-working my servers I am not sure if the lack of contact I have with the bot server is self-inflected, or is it down?

is all I see.

Michael