RFR: 275: PR bot should allows merge-style PRs with only branch names

Mon Feb 17 14:47:16 UTC 2020

On Mon, 17 Feb 2020 14:30:35 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:

> Hi all,
> 
> Please review this change that allows merge-style PRs to only reference the source branch name, in case the source is in the same repository.
> 
> Best regards,
> Robin

Looks good, nice fix!

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

Marked as reviewed by ehelin (Reviewer).

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