Integrated: 342: Pull request bot should warn on merge commits with non-target branch parent

[Robin Westberg]

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,
> Robin

This pull request has now been integrated.

Changeset: 8f94a62a
Author:    Robin Westberg <rwestberg at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/8f94a62a
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

Reviewed-by: ehelin

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

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