RFR: 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.",

Thanks for the review!

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

PR Comment: https://git.openjdk.org/skara/pull/1631#issuecomment-2048218678