[Integrated] RFR: 394: Merge bot conflict resolution interaction requires separate credentials

[Robin Westberg]

On Fri, 8 May 2020 14:32:57 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:

> Hi all,
> 
> Please review this change that allows the pull request bot to recognize specially formatted command comments made by
> "itself" (most likely another bot using the same credentials).
> Best regards,
> Robin

This pull request has now been integrated.

Changeset: 9573e798
Author:    Robin Westberg <rwestberg at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/9573e798
Stats:     59 lines in 4 files changed: 2 ins; 49 del; 8 mod

394: Merge bot conflict resolution interaction requires separate credentials

Reviewed-by: jvernee

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

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