Integrated: 342: Pull request bot should warn on merge commits with non-target branch parent
rwestberg at openjdk.java.net
Sat Jun 27 10:26:47 UTC 2020
On Fri, 26 Jun 2020 11:16:58 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:
> Hi all,
> Please review this change that checks if a PR contains merges from outside the current project, and suggests using a
> merge-style PR.
> Best regards,
This pull request has now been integrated.
Author: Robin Westberg <rwestberg at openjdk.org>
Stats: 103 lines in 3 files changed: 0 ins; 103 del; 0 mod
342: Pull request bot should warn on merge commits with non-target branch parent
More information about the skara-dev