Re: My next step in handling stale PRs

[Mark J Cox]

> 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.

openssl-machine: was just my reminder prefix to run this as
openssl-machine and not me, but it's a fair point on the automated
ping and future consistency.  People may even pay more attention if
they don't realise it was a python script hassling them.

Thanks, Mark

RE: My next step in handling stale PRs

[Dr. Matthias St. Pierre]

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