Integrated: 550: "branch has unmerged commits" message could be clarified by the bot

Sat Sep 5 07:44:43 UTC 2020

On Sat, 5 Sep 2020 07:29:55 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:

> Hi all,
> 
> Please review this change that improves the final integrated message.
> 
> Best regards,
> Robin

This pull request has now been integrated.

Changeset: 2830d500
Author:    Robin Westberg <rwestberg at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/2830d500
Stats:     33 lines in 3 files changed: 0 ins; 26 del; 7 mod

550: "branch has unmerged commits" message could be clarified by the bot
564: PR bot should inform the PR is integrated

Reviewed-by: ehelin

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

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