Integrated: 1539: Allow dots in merge PR branch name

Thu Aug 11 17:45:04 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.

This pull request has now been integrated.

Changeset: 1b79f292
Author:    Erik Joelsson <erikj at openjdk.org>
URL:       https://git.openjdk.org/skara/commit/1b79f292f76562be87681fbd115e031ae667dfc0
Stats:     10 lines in 2 files changed: 0 ins; 0 del; 10 mod

1539: Allow dots in merge PR branch name

Reviewed-by: kcr

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

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