RFR: 1539: Allow dots in merge PR branch name

Thu Aug 11 14:17:39 UTC 2022

On Thu, 11 Aug 2022 13:51:02 GMT, Erik Joelsson <erikj at openjdk.org> wrote:

> This patch makes it possible to create merge style PRs based on branches with periods `.` in the branch name. We quite commonly put periods in branch names as we like to base branches on version strings.
> 
> Modified an existing test to cover this case.

Marked as reviewed by kcr (Reviewer).

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

PR: https://git.openjdk.org/skara/pull/1355