Integrated: 1553: Update PR titles automatically from JBS

[Zhao Song]

On Tue, 9 Apr 2024 22:50:38 GMT, Zhao Song <zsong at openjdk.org> wrote:

> As Magnus and Erik proposed, Skara bot should rewrite PR titles to a canonical form(numbers for the bugId, followed by a ':' and then the bug title, e.g. "1: This is an issue").
> Especially, Skara bot should rewrite PR title in the form of "JDK-1 This is an issue" or "JDK-1: This is an issue" to the canonical form.
> 
> Furthermore, sometimes, a user would update the issue title in JBS and forget updating the pr title. With this patch, If the change is minor like changing the case of some characters or adding/removing spaces, Skara bot will update it automatically for the user, otherwise, Skara bot would still add an integration blocker " ⚠️ Title mismatch between PR and JBS.",

This pull request has now been integrated.

Changeset: 7c01feb9
Author:    Zhao Song <zsong at openjdk.org>
URL:       https://git.openjdk.org/skara/commit/7c01feb91b4ae78cd88cc85f158ea5f800daf9a9
Stats:     51 lines in 4 files changed: 41 ins; 3 del; 7 mod

1553: Update PR titles automatically from JBS

Reviewed-by: erikj

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

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