Integrated: Improve bot message formatting

[Robin Westberg]

On Sat, 5 Sep 2020 14:22:27 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

This pull request has now been integrated.

Changeset: 5da1a5a6
Author:    Robin Westberg <rwestberg at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/5da1a5a6
Stats:     40 lines in 7 files changed: 2 ins; 9 del; 29 mod

Improve bot message formatting

Reviewed-by: ehelin

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

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