Improve bot message formatting #799
Conversation
|
@rwestberg The following labels will be automatically applied to this pull request: |
Webrevs
|
Looks good! |
@rwestberg This change now passes all automated pre-integration checks. When the change also fulfills all project specific requirements, type
Since the source branch of this PR was last updated there have been 2 commits pushed to the
As there are no conflicts, your changes will automatically be rebased on top of these commits when integrating. If you prefer to avoid automatic rebasing, please merge
|
/integrate |
@rwestberg Since your change was applied there have been 2 commits pushed to the
Your commit was automatically rebased without conflicts. Pushed as commit 5da1a5a. |
Hi all,
Please review this small change that improves the formatting of a few bot messages.
Best regards,
Robin
Progress
Reviewers
Download
$ git fetch https://git.openjdk.java.net/skara pull/799/head:pull/799
$ git checkout pull/799