[Python-buildbots] Re: Is the bot master down?