Integrated: 572: Auto-correct PR title if it is a prefix of the JBS issue title
Magnus Ihse Bursie
ihse at openjdk.java.net
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.
Author: Magnus Ihse Bursie <ihse at openjdk.org>
Committer: Erik Helin <ehelin at openjdk.org>
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
More information about the skara-dev