-
Notifications
You must be signed in to change notification settings - Fork 57
Conversation
👋 Welcome back jwilhelm! 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. |
|
/approval request Clean backport of required attribution file |
@JesperIRL |
@JesperIRL 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 5 new commits pushed to the
Please see this link for an up-to-date comparison between the source branch of this pull request and the ➡️ To integrate this PR with the above commit message to the |
/integrate |
Going to push as commit 6ac9326.
Your commit was automatically rebased without conflicts. |
@JesperIRL Pushed as commit 6ac9326. 💡 You may see a message that your pull request was closed with unmerged commits. This can be safely ignored. |
Clean backport
Progress
Issue
Reviewing
Using
git
Checkout this PR locally:
$ git fetch https://git.openjdk.org/jdk22u.git pull/85/head:pull/85
$ git checkout pull/85
Update a local copy of the PR:
$ git checkout pull/85
$ git pull https://git.openjdk.org/jdk22u.git pull/85/head
Using Skara CLI tools
Checkout this PR locally:
$ git pr checkout 85
View PR using the GUI difftool:
$ git pr show -t 85
Using diff file
Download this PR as a diff file:
https://git.openjdk.org/jdk22u/pull/85.diff
Webrev
Link to Webrev Comment