[Rev 01] RFR: merge-bot: update message for failed merges

[Erik Helin]

On Mon, 10 Feb 2020 10:56:51 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:

>> The pull request has been updated with 1 additional commit.
> 
> bots/merge/src/main/java/org/openjdk/skara/bots/merge/MergeBot.java line 471:
> 
>> 470:                     message.add("");
>> 471:                     message.add("Now processed to create a pull request towards this repository.");
>> 472:                     message.add("If you are using the [Skara](https://wiki.openjdk.java.net/display/skara#Skara-Skara)" +
> 
> Suggestion:
> 
>                     message.add("Now proceed to create a pull request towards this repository.");

Thanks!

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

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