The server has been restarted and the bot is working as normal.

The issue seems to have resolved itself. Monitoring will continue until recovery is verified.

The issue has been identified as a server crash. Resolution is being worked on.

Pro Bot and probot.servehttp.com are unavailable. The issue is being investigated currently.