Integrated: Clearly state that users should create branch
Magnus Ihse Bursie
ihse at openjdk.org
Fri Jan 27 19:09:54 UTC 2023
On Fri, 13 Jan 2023 13:49:11 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote:
> A recent PR submission to the JDK made me aware that the guide does not strongly enough emphasize the importance of creating a separate branch.
>
> (If you do put your changes directly in `master`, the Skara bots will put up harsh warnings, which is not a nice way to welcome someone who has tried to do everything right, including reading the guide)
This pull request has now been integrated.
Changeset: 7c48ef21
Author: Magnus Ihse Bursie <ihse at openjdk.org>
URL: https://git.openjdk.org/guide/commit/7c48ef21e50c8adb09ef9b59db240d9db322de47
Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod
Clearly state that users should create branch
Reviewed-by: dholmes, aivanov, jwilhelm
-------------
PR: https://git.openjdk.org/guide/pull/94
More information about the guide-dev
mailing list