RFR: Section on project maintenance [v4]
Jesper Wilhelmsson
jwilhelm at openjdk.org
Tue Dec 20 12:53:49 UTC 2022
On Thu, 8 Dec 2022 11:51:26 GMT, Johan Sjölen <jsjolen at openjdk.org> wrote:
>> Jesper Wilhelmsson has updated the pull request incrementally with one additional commit since the last revision:
>>
>> Additions from Simms
>
> src/guide/project-maintenance.md line 58:
>
>> 56: ~~~
>> 57:
>> 58: Now it's time to create the PR on GitHub. Just opening the PR page in your browser will most often be enough to see a message about new code that was pushed to your personal fork, with a question if you want to create a PR. You do.
>
>>You do.
>
> I like the stylistic choice :-), but it might not be obvious to everyone what you mean and instead sound like an incomplete sentence. "Click the button to initiate the PR", or something of the sort, will be clearer.
Clarified :-)
-------------
PR: https://git.openjdk.org/guide/pull/92
More information about the guide-dev
mailing list