-
Notifications
You must be signed in to change notification settings - Fork 5.6k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
8337111: Bad HTML checker for generated documentation #22866
base: jdk24
Are you sure you want to change the base?
8337111: Bad HTML checker for generated documentation #22866
Conversation
👋 Welcome back nbenalla! A progress list of the required criteria for merging this PR into |
❗ This change is not yet ready to be integrated. |
This backport pull request has now been updated with issues from the original commit. |
@nizarbenalla To determine the appropriate audience for reviewing this pull request, one or more labels corresponding to different subsystems will normally be applied automatically. However, no automatic labelling rule matches the changes in this pull request. In order to have an "RFR" email sent to the correct mailing list, you will need to add one or more applicable labels manually using the /label pull request command. Applicable Labels
|
/issue add 8346780 |
@nizarbenalla |
/issue remove 8346780 |
@nizarbenalla |
@nizarbenalla |
Hi all,
This pull request contains a backport of commit ed292318 from the openjdk/jdk repository.
The commit being backported was authored by Nizar Benalla on 23 Dec 2024 and was reviewed by Hannes Wallnöfer.
Thanks!
Note: #22844 needs to be integrated before this change.
Progress
Issues
Reviewing
Using
git
Checkout this PR locally:
$ git fetch https://git.openjdk.org/jdk.git pull/22866/head:pull/22866
$ git checkout pull/22866
Update a local copy of the PR:
$ git checkout pull/22866
$ git pull https://git.openjdk.org/jdk.git pull/22866/head
Using Skara CLI tools
Checkout this PR locally:
$ git pr checkout 22866
View PR using the GUI difftool:
$ git pr show -t 22866
Using diff file
Download this PR as a diff file:
https://git.openjdk.org/jdk/pull/22866.diff