RFR: 275: PR bot should allows merge-style PRs with only branch names
ehelin at openjdk.java.net
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,
Looks good, nice fix!
Marked as reviewed by ehelin (Reviewer).
More information about the skara-dev