8270117: Broken jtreg link in "Building the JDK" page#146
8270117: Broken jtreg link in "Building the JDK" page#146jmtd wants to merge 1 commit intoopenjdk:masterfrom
Conversation
|
👋 Welcome back jdowland! A progress list of the required criteria for merging this PR into |
|
This backport pull request has now been updated with issue from the original commit. |
|
@jmtd 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 16 new commits pushed to the
As there are no conflicts, your changes will automatically be rebased on top of these commits when integrating. If you prefer to avoid this automatic rebasing, please check the documentation for the /integrate command for further details. As you do not have Committer status in this project an existing Committer must agree to sponsor your change. ➡️ To flag this PR as ready for integration with the above commit message, type |
|
/integrate |
|
/sponsor |
|
Going to push as commit f7f0b31.
Your commit was automatically rebased without conflicts. |
|
@TheRealMDoerr @jmtd Pushed as commit f7f0b31. 💡 You may see a message that your pull request was closed with unmerged commits. This can be safely ignored. |
Hi all,
This pull request contains a backport of commit 41a5eb43 from the openjdk/jdk repository.
The commit being backported was authored by Magnus Ihse Bursie on 12 Jul 2021 and was reviewed by Severin Gehwolf.
It's a very minor doc fix but I tripped over the broken URI in jdk17u-dev just now (I'm getting back
into backports work after a hiatus) so felt it was worthy of consideration.
Thanks!
Progress
Issue
Reviewing
Using
gitCheckout this PR locally:
$ git fetch https://git.openjdk.java.net/jdk17u-dev pull/146/head:pull/146$ git checkout pull/146Update a local copy of the PR:
$ git checkout pull/146$ git pull https://git.openjdk.java.net/jdk17u-dev pull/146/headUsing Skara CLI tools
Checkout this PR locally:
$ git pr checkout 146View PR using the GUI difftool:
$ git pr show -t 146Using diff file
Download this PR as a diff file:
https://git.openjdk.java.net/jdk17u-dev/pull/146.diff