RFR: 365: Allows "merge style" PRs to have title of "Merge repo:tag"

Tue Apr 28 09:30:33 UTC 2020

On Tue, 28 Apr 2020 09:24:22 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:

> Hi all,
> 
> Please review this change that improves the merge sourcing for merge PRs and allows tags to be used as a source.
> 
> Best regards,
> Robin

Very nice patch, looks great! ��

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

Marked as reviewed by ehelin (Reviewer).

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