Integrated: Allow '+' to be in branch names in merge PR titles

Wed Dec 9 18:24:52 UTC 2020

On Wed, 9 Dec 2020 11:55:01 GMT, Jorn Vernee <jvernee at openjdk.org> wrote:

> Allow '+' to be in branch names in merge PR titles. I've also sharpened the error message to include the exact pattern the bot checks for.

This pull request has now been integrated.

Changeset: 939cea1c
Author:    Jorn Vernee <jvernee at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/939cea1c
Stats:     52 lines in 2 files changed: 48 ins; 0 del; 4 mod

Allow '+' to be in branch names in merge PR titles

Reviewed-by: rwestberg

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

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