8320526: Use title case in building.md#16765
Conversation
|
/integrate auto |
|
👋 Welcome back ihse! A progress list of the required criteria for merging this PR into |
|
@magicus This pull request will be automatically integrated when it is ready |
|
@magicus This change now passes all automated pre-integration checks. ℹ️ This project also has non-automated pre-integration requirements. Please see the file CONTRIBUTING.md for details. After integration, the commit message for the final commit will be: You can use pull request commands such as /summary, /contributor and /issue to adjust it as needed. At the time when this comment was updated there had been no new commits pushed to the ➡️ To integrate this PR with the above commit message to the |
|
/integrate |
|
Going to push as commit 9311749. |
We should use title case consistently in building.md.
I thought I was done with fixing up the build README, but then I noticed this and I couldn't unsee it...
Progress
Issue
Reviewers
Reviewing
Using
gitCheckout this PR locally:
$ git fetch https://git.openjdk.org/jdk.git pull/16765/head:pull/16765$ git checkout pull/16765Update a local copy of the PR:
$ git checkout pull/16765$ git pull https://git.openjdk.org/jdk.git pull/16765/headUsing Skara CLI tools
Checkout this PR locally:
$ git pr checkout 16765View PR using the GUI difftool:
$ git pr show -t 16765Using diff file
Download this PR as a diff file:
https://git.openjdk.org/jdk/pull/16765.diff
Webrev
Link to Webrev Comment