Hi Mark, your proposal sounds reasonable, and I let me take the opportunity to pay a compliment to your bot, he is doing a great job :-).
I have just a tiny little nit: since the sender is clearly identified as "openssl-machine", it is not necessary to add a special prefix to the text of the message to indicate the message was automated. In fact, the "ready-to-merge" reminder, which started it all, doesn't have a prefix. But recently you started to add various prefixes like "Automated Ping:" and now "openssl-machine:". I'd prefer if the messages were consistently without a prefix, because they only distract from the gist of the message IMHO, in particular consistency junkies like me. Matthias
