[Integrated] RFR: 394: Merge bot conflict resolution interaction requires separate credentials
rwestberg at openjdk.java.net
Mon May 11 07:31:56 UTC 2020
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,
This pull request has now been integrated.
Author: Robin Westberg <rwestberg at openjdk.org>
Stats: 59 lines in 4 files changed: 2 ins; 49 del; 8 mod
394: Merge bot conflict resolution interaction requires separate credentials
More information about the skara-dev