Integrated: 572: Auto-correct PR title if it is a prefix of the JBS issue title

Mon Feb 22 13:57:31 UTC 2021

On Thu, 18 Feb 2021 16:12:02 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote:

> The PR bot should auto-correct PR titles if they are a known prefix of a JBS issue title instead of showing a warning that there is a mismatch between PR and JBS title.

This pull request has now been integrated.

Changeset: 4857968b
Author:    Magnus Ihse Bursie <ihse at openjdk.org>
Committer: Erik Helin <ehelin at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/4857968b
Stats:     107 lines in 2 files changed: 94 ins; 7 del; 6 mod

572: Auto-correct PR title if it is a prefix of the JBS issue title

Reviewed-by: rwestberg

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

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