RFR: Improve bot message formatting [v4]

[Erik Helin]

On Sun, 6 Sep 2020 08:20:37 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:

>> Hi all,
>> 
>> Please review this small change that improves the formatting of a few bot messages.
>> 
>> Best regards,
>> Robin
>
> Robin Westberg has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Also improve the notifier push comment detection and test

Looks good!

-------------

Marked as reviewed by ehelin (Reviewer).

PR: https://git.openjdk.java.net/skara/pull/799