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

[Robin Westberg]

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.

Looks good!

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

Marked as reviewed by rwestberg (Reviewer).

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