Integrated: SKARA-1362: PR suggestion for fixing username is wrong
Kevin Rushforth
kcr at openjdk.java.net
Wed Feb 23 14:22:38 UTC 2022
On Tue, 22 Feb 2022 19:52:20 GMT, Kevin Rushforth <kcr at openjdk.org> wrote:
> The Skara PR bot warns when the Author name in the git commit doesn't match the preferred name in the GitHub profile. The recommended fix that the bot adds as a PR comment is wrong.
>
> This PR fixes the message.
This pull request has now been integrated.
Changeset: 2c1f1477
Author: Kevin Rushforth <kcr at openjdk.org>
URL: https://git.openjdk.java.net/skara/commit/2c1f14771e006a7db48c669bc0e90961643bf1fd
Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod
1362: PR suggestion for fixing username is wrong
Reviewed-by: erikj, ihse
-------------
PR: https://git.openjdk.java.net/skara/pull/1290
More information about the skara-dev
mailing list