Conversation
|
👋 Welcome back jwilhelm! A progress list of the required criteria for merging this PR into |
|
@JesperIRL This change now passes all automated pre-integration checks. 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 |
Webrevs
|
Co-authored-by: Alexey Ivanov <alexey.ivanov@oracle.com>
Added missing info about components when filing a JBS issue
Also clarified how to close a resolved issue through verification
Progress
Reviewers
Reviewing
Using
gitCheckout this PR locally:
$ git fetch https://git.openjdk.org/guide.git pull/169/head:pull/169$ git checkout pull/169Update a local copy of the PR:
$ git checkout pull/169$ git pull https://git.openjdk.org/guide.git pull/169/headUsing Skara CLI tools
Checkout this PR locally:
$ git pr checkout 169View PR using the GUI difftool:
$ git pr show -t 169Using diff file
Download this PR as a diff file:
https://git.openjdk.org/guide/pull/169.diff
Using Webrev
Link to Webrev Comment