8370910: Cleanup terminology of UUID vs Global Identifiers in UUID#28835
8370910: Cleanup terminology of UUID vs Global Identifiers in UUID#28835RogerRiggs wants to merge 1 commit intoopenjdk:jdk26from
Conversation
|
👋 Welcome back rriggs! A progress list of the required criteria for merging this PR into |
|
@RogerRiggs 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 |
|
This backport pull request has now been updated with issue from the original commit. |
|
@RogerRiggs The following label will be automatically applied to this pull request:
When this pull request is ready to be reviewed, an "RFR" email will be sent to the corresponding mailing list. If you would like to change these labels, use the /label pull request command. |
|
/integrate |
|
Going to push as commit c46e635. |
|
@RogerRiggs Pushed as commit c46e635. 💡 You may see a message that your pull request was closed with unmerged commits. This can be safely ignored. |
Backport of doc-only information about scope of UUID class.
Progress
Issue
Reviewers
Reviewing
Using
gitCheckout this PR locally:
$ git fetch https://git.openjdk.org/jdk.git pull/28835/head:pull/28835$ git checkout pull/28835Update a local copy of the PR:
$ git checkout pull/28835$ git pull https://git.openjdk.org/jdk.git pull/28835/headUsing Skara CLI tools
Checkout this PR locally:
$ git pr checkout 28835View PR using the GUI difftool:
$ git pr show -t 28835Using diff file
Download this PR as a diff file:
https://git.openjdk.org/jdk/pull/28835.diff
Using Webrev
Link to Webrev Comment