[Python-Dev] buildbot.python.org down again? (original) (raw)
Guido van Rossum guido at python.org
Mon Jul 7 17:44:28 CEST 2014
- Previous message: [Python-Dev] buildbot.python.org down again?
- Next message: [Python-Dev] buildbot.python.org down again?
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
It would still be nice to know who "the appropriate persons" are. Too much of our infrastructure seems to be maintained by house elves or the ITA.
On Sun, Jul 6, 2014 at 11:33 PM, Terry Reedy <tjreedy at udel.edu> wrote:
On 7/6/2014 7:54 PM, Ned Deily wrote:
As of the moment, buildbot.python.org seems to be down again.
Several hours later, back up. > Where is the best place to report problems like this? We should have, if not already, an automatic system to detect down servers and report (email) to appropriate persons. -- Terry Jan Reedy
Python-Dev mailing list Python-Dev at python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/ guido%40python.org
-- --Guido van Rossum (python.org/~guido) -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mail.python.org/pipermail/python-dev/attachments/20140707/9ed2b5e0/attachment.html>
- Previous message: [Python-Dev] buildbot.python.org down again?
- Next message: [Python-Dev] buildbot.python.org down again?
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]